BibTeX Export

@inproceedings{Authenticus:P-008-0CK,
	title = {{Recognizing synchronizing automata with finitely many minimal synchronizing words is PSPACE-complete}},
	author = {EV Pribavkina and E Rodaro},
	booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	doi = {10.1007/978-3-642-21875-0_24},
	pages = {230-238},
	publisher = {Springer Science + Business Media},
	type = {Proceedings Paper},
	volume = {6735 LNCS},
	year = {2011}
}