%0 Conference Paper %1 conf/isaac/KrishnanPB94 %A Krishnan, Sriram C. %A Puri, Anuj %A Brayton, Robert K. %B ISAAC %D 1994 %E Du, Ding-Zhu %E Zhang, Xiang-Sun %I Springer %K dblp %P 378-386 %T Deterministic w Automata vis-a-vis Deterministic Buchi Automata. %U http://dblp.uni-trier.de/db/conf/isaac/isaac94.html#KrishnanPB94 %V 834 %@ 3-540-58325-4

@inproceedings{conf/isaac/KrishnanPB94, added-at = {2017-05-19T00:00:00.000+0200}, author = {Krishnan, Sriram C. and Puri, Anuj and Brayton, Robert K.}, biburl = {https://www.bibsonomy.org/bibtex/2ebbef162df9a8ef062c57a31d0f890f7/dblp}, booktitle = {ISAAC}, crossref = {conf/isaac/1994}, editor = {Du, Ding-Zhu and Zhang, Xiang-Sun}, ee = {https://doi.org/10.1007/3-540-58325-4_202}, interhash = {b2a50bc2623bcb20b7e7f483b525ccea}, intrahash = {ebbef162df9a8ef062c57a31d0f890f7}, isbn = {3-540-58325-4}, keywords = {dblp}, pages = {378-386}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:57:38.000+0200}, title = {Deterministic w Automata vis-a-vis Deterministic Buchi Automata.}, url = {http://dblp.uni-trier.de/db/conf/isaac/isaac94.html#KrishnanPB94}, volume = 834, year = 1994 }