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}
}