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

{"_id":"brYkGpyT5ZpueDwEE","bibbaseid":"robby-dwyer-hatcliff-domainspecificmodelcheckingusingthebogorframework-2006","downloads":0,"creationDate":"2015-09-08T15:38:36.020Z","title":"Domain-specific Model Checking Using The Bogor Framework.","author_short":["Robby","Dwyer, M.<nbsp>B.","Hatcliff, J."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/john?items=1000","bibdata":{"added-at":"2015-08-14T00:00:00.000+0200","author":["Robby","Dwyer, Matthew B.","Hatcliff, John"],"author_short":["Robby","Dwyer, M.<nbsp>B.","Hatcliff, J."],"bibtex":"@inproceedings{ conf/kbse/RobbyDH06,\n added-at = {2015-08-14T00:00:00.000+0200},\n author = {Robby and Dwyer, Matthew B. and Hatcliff, John},\n biburl = {http://www.bibsonomy.org/bibtex/2942177b2b1b1cf6690c124f3aa6f15c2/dblp},\n booktitle = {ASE},\n crossref = {conf/kbse/2006},\n ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.34},\n interhash = {07ed230706c595b220d1647971b11311},\n intrahash = {942177b2b1b1cf6690c124f3aa6f15c2},\n isbn = {0-7695-2579-2},\n keywords = {dblp},\n pages = {369-370},\n publisher = {IEEE Computer Society},\n title = {Domain-specific Model Checking Using The Bogor Framework.},\n url = {http://dblp.uni-trier.de/db/conf/kbse/ase2006.html#RobbyDH06},\n year = {2006}\n}","bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bibtex/2942177b2b1b1cf6690c124f3aa6f15c2/dblp","booktitle":"ASE","crossref":"conf/kbse/2006","ee":"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.34","id":"conf/kbse/RobbyDH06","interhash":"07ed230706c595b220d1647971b11311","intrahash":"942177b2b1b1cf6690c124f3aa6f15c2","isbn":"0-7695-2579-2","key":"conf/kbse/RobbyDH06","keywords":"dblp","pages":"369-370","publisher":"IEEE Computer Society","title":"Domain-specific Model Checking Using The Bogor Framework.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/kbse/ase2006.html#RobbyDH06","year":"2006","bibbaseid":"robby-dwyer-hatcliff-domainspecificmodelcheckingusingthebogorframework-2006","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.34","Paper":"http://dblp.uni-trier.de/db/conf/kbse/ase2006.html#RobbyDH06"},"keyword":["dblp"],"downloads":0},"search_terms":["domain","specific","model","checking","using","bogor","framework","robby","dwyer","hatcliff"],"keywords":["dblp"],"authorIDs":[],"dataSources":["e3DPfiLXyfZxic3k2"]}