%0 Conference Paper %1 conf/fmcad/JainNB96 %A Jain, Alok %A Nelson, Kyle L. %A Bryant, Randal E. %B FMCAD %D 1996 %E Srivas, Mandayam K. %E Camilleri, Albert John %I Springer %K dblp %P 109-125 %T Verifying Nondeterministic Implementations of Deterministic Systems. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad1996.html#JainNB96 %V 1166 %@ 3-540-61937-2

@inproceedings{conf/fmcad/JainNB96, added-at = {2017-05-17T00:00:00.000+0200}, author = {Jain, Alok and Nelson, Kyle L. and Bryant, Randal E.}, biburl = {https://www.bibsonomy.org/bibtex/26d8338c5f67d352aea449cf3345f2481/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/1996}, editor = {Srivas, Mandayam K. and Camilleri, Albert John}, ee = {https://doi.org/10.1007/BFb0031803}, interhash = {37e128f554086f86eef33acd600730d2}, intrahash = {6d8338c5f67d352aea449cf3345f2481}, isbn = {3-540-61937-2}, keywords = {dblp}, pages = {109-125}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:19:28.000+0200}, title = {Verifying Nondeterministic Implementations of Deterministic Systems.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad1996.html#JainNB96}, volume = 1166, year = 1996 }