%0 Conference Paper %1 conf/issta/GodefroidHJ98 %A Godefroid, Patrice %A Hanmer, Robert S. %A Jagadeesan, Lalita Jategaonkar %B ISSTA %D 1998 %E Soffa, Mary Lou %E Young, Michal %E Tracz, Will %I ACM %K dblp %P 124-133 %T Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. %U http://dblp.uni-trier.de/db/conf/issta/issta98.html#GodefroidHJ98 %@ 0-89791-971-8

@inproceedings{conf/issta/GodefroidHJ98, added-at = {2022-01-31T00:00:00.000+0100}, author = {Godefroid, Patrice and Hanmer, Robert S. and Jagadeesan, Lalita Jategaonkar}, biburl = {https://www.bibsonomy.org/bibtex/2bafa30fa835088233372bffed54c76d8/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/1998}, editor = {Soffa, Mary Lou and Young, Michal and Tracz, Will}, ee = {https://doi.org/10.1145/271775.271800}, interhash = {d1524cde019cc2fb0255ad668d0451f6}, intrahash = {bafa30fa835088233372bffed54c76d8}, isbn = {0-89791-971-8}, keywords = {dblp}, pages = {124-133}, publisher = {ACM}, timestamp = {2024-04-09T20:41:07.000+0200}, title = {Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta98.html#GodefroidHJ98}, year = 1998 }