%0 Conference Paper %1 conf/icse/HolzmannS99 %A Holzmann, Gerard J. %A Smith, Margaret H. %B ICSE %D 1999 %E Boehm, Barry W. %E Garlan, David %E Kramer, Jeff %I ACM %K dblp %P 597-607 %T A Practical Method for Verifying Event-Driven Software. %U http://dblp.uni-trier.de/db/conf/icse/icse99.html#HolzmannS99 %@ 1-58113-074-0

@inproceedings{conf/icse/HolzmannS99, added-at = {2018-11-06T00:00:00.000+0100}, author = {Holzmann, Gerard J. and Smith, Margaret H.}, biburl = {https://www.bibsonomy.org/bibtex/27e9096cb5c28cf55c0d1dba4300e0415/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1999}, editor = {Boehm, Barry W. and Garlan, David and Kramer, Jeff}, ee = {https://doi.org/10.1145/302405.302710}, interhash = {d3d7e880e9c356eda4ba67f640d9dfde}, intrahash = {7e9096cb5c28cf55c0d1dba4300e0415}, isbn = {1-58113-074-0}, keywords = {dblp}, pages = {597-607}, publisher = {ACM}, timestamp = {2018-11-07T16:34:03.000+0100}, title = {A Practical Method for Verifying Event-Driven Software.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse99.html#HolzmannS99}, year = 1999 }