%0 Conference Paper %1 conf/spin/CoferEGMV01 %A Cofer, Darren D. %A Engstrom, Eric %A Goldman, Robert P. %A Musliner, David J. %A Vestal, Steve %B SPIN %D 2001 %E Dwyer, Matthew B. %I Springer %K dblp %P 296-303 %T Applications of Model Checking at Honeywell Laboratories. %U http://dblp.uni-trier.de/db/conf/spin/spin2001.html#CoferEGMV01 %V 2057 %@ 3-540-42124-6

@inproceedings{conf/spin/CoferEGMV01, added-at = {2022-06-02T00:00:00.000+0200}, author = {Cofer, Darren D. and Engstrom, Eric and Goldman, Robert P. and Musliner, David J. and Vestal, Steve}, biburl = {https://www.bibsonomy.org/bibtex/26451e52641bfb38273d6e100dbf61f96/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2001}, editor = {Dwyer, Matthew B.}, ee = {https://dl.acm.org/doi/10.5555/380921.380948}, interhash = {4c7c4a58dd7298cf793a30ad9eae17f9}, intrahash = {6451e52641bfb38273d6e100dbf61f96}, isbn = {3-540-42124-6}, keywords = {dblp}, pages = {296-303}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:54:45.000+0200}, title = {Applications of Model Checking at Honeywell Laboratories.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2001.html#CoferEGMV01}, volume = 2057, year = 2001 }