%0 Conference Paper %1 conf/fmcad/NalumasuG98 %A Nalumasu, Ratan %A Gopalakrishnan, Ganesh %B FMCAD %D 1998 %E Gopalakrishnan, Ganesh %E Windley, Phillip J. %I Springer %K dblp %P 523-528 %T PV: An Explicit Enumeration Model-Checker. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad1998.html#NalumasuG98 %V 1522 %@ 3-540-65191-8

@inproceedings{conf/fmcad/NalumasuG98, added-at = {2017-05-17T00:00:00.000+0200}, author = {Nalumasu, Ratan and Gopalakrishnan, Ganesh}, biburl = {https://www.bibsonomy.org/bibtex/24f11695c3f8a1c476cb3f37a3c54ceb6/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/1998}, editor = {Gopalakrishnan, Ganesh and Windley, Phillip J.}, ee = {https://doi.org/10.1007/3-540-49519-3_35}, interhash = {37856f02c9f1c217f7204858ac43bfaf}, intrahash = {4f11695c3f8a1c476cb3f37a3c54ceb6}, isbn = {3-540-65191-8}, keywords = {dblp}, pages = {523-528}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:19:19.000+0200}, title = {PV: An Explicit Enumeration Model-Checker.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad1998.html#NalumasuG98}, volume = 1522, year = 1998 }