%0 Conference Paper %1 conf/cocoon/KimM95 %A Kim, Sam M. %A McNaughton, Robert %B COCOON %D 1995 %E Du, Ding-Zhu %E Li, Ming %I Springer %K dblp %P 597-606 %T An Efficient Algorithm for Local Testability Problem of Finite State Automata. %U http://dblp.uni-trier.de/db/conf/cocoon/cocoon95.html#KimM95 %V 959 %@ 3-540-60216-X

@inproceedings{conf/cocoon/KimM95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Kim, Sam M. and McNaughton, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2e1dab4fb33a20332f5a7e61de8787e33/dblp}, booktitle = {COCOON}, crossref = {conf/cocoon/1995}, editor = {Du, Ding-Zhu and Li, Ming}, ee = {https://doi.org/10.1007/BFb0030882}, interhash = {173ecd3e3c1af8ac69cee604f798803c}, intrahash = {e1dab4fb33a20332f5a7e61de8787e33}, isbn = {3-540-60216-X}, keywords = {dblp}, pages = {597-606}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:38:36.000+0200}, title = {An Efficient Algorithm for Local Testability Problem of Finite State Automata.}, url = {http://dblp.uni-trier.de/db/conf/cocoon/cocoon95.html#KimM95}, volume = 959, year = 1995 }