%0 Conference Paper %1 conf/isola/HoosierDRH04 %A Hoosier, Matthew %A Dwyer, Matthew B. %A Robby, %A Hatcliff, John %B ISoLA %D 2004 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 161-180 %T A Case Study in Domain-Customized Model Checking for Real-Time Component Software. %U http://dblp.uni-trier.de/db/conf/isola/isola2004.html#HoosierDRH04 %V 4313 %@ 3-540-48928-2

@inproceedings{conf/isola/HoosierDRH04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Hoosier, Matthew and Dwyer, Matthew B. and Robby and Hatcliff, John}, biburl = {https://www.bibsonomy.org/bibtex/2c695dd42851d175a0bd9b3e3a978a6bf/dblp}, booktitle = {ISoLA}, crossref = {conf/isola/2004}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/11925040_11}, interhash = {3e4f502c92fda4242a851c71d73d6a47}, intrahash = {c695dd42851d175a0bd9b3e3a978a6bf}, isbn = {3-540-48928-2}, keywords = {dblp}, pages = {161-180}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:50:15.000+0200}, title = {A Case Study in Domain-Customized Model Checking for Real-Time Component Software.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2004.html#HoosierDRH04}, volume = 4313, year = 2004 }