Domain-specific Model Checking Using The Bogor Framework. Robby; Dwyer, M. B.; and Hatcliff, J. In ASE, pages 369-370, 2006. IEEE Computer Society.
Link
Paper bibtex @inproceedings{ conf/kbse/RobbyDH06,
added-at = {2015-08-14T00:00:00.000+0200},
author = {Robby and Dwyer, Matthew B. and Hatcliff, John},
biburl = {http://www.bibsonomy.org/bibtex/2942177b2b1b1cf6690c124f3aa6f15c2/dblp},
booktitle = {ASE},
crossref = {conf/kbse/2006},
ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.34},
interhash = {07ed230706c595b220d1647971b11311},
intrahash = {942177b2b1b1cf6690c124f3aa6f15c2},
isbn = {0-7695-2579-2},
keywords = {dblp},
pages = {369-370},
publisher = {IEEE Computer Society},
title = {Domain-specific Model Checking Using The Bogor Framework.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2006.html#RobbyDH06},
year = {2006}
}