%0 Conference Paper %1 conf/dac/RhoSP93 %A Rho, June-Kyung %A Somenzi, Fabio %A Pixley, Carl %B DAC %D 1993 %E Dunlop, Alfred E. %I ACM Press %K dblp %P 463-468 %T Minimum Length Synchronizing Sequences of Finite State Machine. %U http://dblp.uni-trier.de/db/conf/dac/dac93.html#RhoSP93 %@ 0-89791-577-1

@inproceedings{conf/dac/RhoSP93, added-at = {2017-03-16T00:00:00.000+0100}, author = {Rho, June-Kyung and Somenzi, Fabio and Pixley, Carl}, biburl = {https://www.bibsonomy.org/bibtex/206d4b5bac5482bb8c830cb60346d9ce5/dblp}, booktitle = {DAC}, crossref = {conf/dac/1993}, editor = {Dunlop, Alfred E.}, ee = {http://doi.acm.org/10.1145/157485.164978}, interhash = {3ca129177062f5a4734a3dc5e535d0d1}, intrahash = {06d4b5bac5482bb8c830cb60346d9ce5}, isbn = {0-89791-577-1}, keywords = {dblp}, pages = {463-468}, publisher = {ACM Press}, timestamp = {2017-03-17T11:41:30.000+0100}, title = {Minimum Length Synchronizing Sequences of Finite State Machine.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac93.html#RhoSP93}, year = 1993 }