BibTeX Export
@inproceedings{Authenticus:P-00A-59X, title = {{Optimal State Reductions of Automata with Partially Specified Behaviors}}, author = {N Moreira and G Pighizzini and R Reis}, booktitle = {Sofsem 2015: Theory and Practice of Computer Science}, doi = {10.1007/978-3-662-46078-8_28}, pages = {339-351}, publisher = {Springer-verlag Berlin}, type = {Proceedings Paper}, volume = {8939}, year = {2015} }