BibTeX Export

@article{Authenticus:P-00M-9E3,
	title = {{Optimal state reductions of automata with partially specified behaviors}},
	author = {N Moreira and G Pighizzini and R Reis},
	doi = {10.1016/j.tcs.2016.05.002},
	journal = {Theoretical Computer Science},
	pages = {235-245},
	publisher = {Elsevier Science Bv},
	type = {Article},
	volume = {658},
	year = {2017}
}