@inproceedings{conf/cav/PasareanuPV05,
  added-at = {2018-10-03T00:00:00.000+0200},
  author = {Pasareanu, Corina S. and Pelánek, Radek and Visser, Willem},
  biburl = {https://www.bibsonomy.org/bibtex/2cd16e6633b77039de4bc21a063450b76/dblp},
  booktitle = {CAV},
  crossref = {conf/cav/2005},
  editor = {Etessami, Kousha and Rajamani, Sriram K.},
  ee = {https://doi.org/10.1007/11513988_7},
  interhash = {dcd5bf3943d5ed1203de4d0d80124c44},
  intrahash = {cd16e6633b77039de4bc21a063450b76},
  isbn = {3-540-27231-3},
  keywords = {dblp},
  pages = {52-66},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T14:38:41.000+0200},
  title = {Concrete Model Checking with Abstract Matching and Refinement.},
  url = {http://dblp.uni-trier.de/db/conf/cav/cav2005.html#PasareanuPV05},
  volume = 3576,
  year = 2005
}

{"_id":"c5gk4ENRAPu42Q5jG","bibbaseid":"pasareanu-pelnek-visser-concretemodelcheckingwithabstractmatchingandrefinement-2005","authorIDs":[],"author_short":["Pasareanu, C. S.","Pelánek, R.","Visser, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-10-03T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Pelánek"],"firstnames":["Radek"],"suffixes":[]},{"propositions":[],"lastnames":["Visser"],"firstnames":["Willem"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2cd16e6633b77039de4bc21a063450b76/dblp","booktitle":"CAV","crossref":"conf/cav/2005","editor":[{"propositions":[],"lastnames":["Etessami"],"firstnames":["Kousha"],"suffixes":[]},{"propositions":[],"lastnames":["Rajamani"],"firstnames":["Sriram","K."],"suffixes":[]}],"ee":"https://doi.org/10.1007/11513988_7","interhash":"dcd5bf3943d5ed1203de4d0d80124c44","intrahash":"cd16e6633b77039de4bc21a063450b76","isbn":"3-540-27231-3","keywords":"dblp","pages":"52-66","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T14:38:41.000+0200","title":"Concrete Model Checking with Abstract Matching and Refinement.","url":"http://dblp.uni-trier.de/db/conf/cav/cav2005.html#PasareanuPV05","volume":"3576","year":"2005","bibtex":"@inproceedings{conf/cav/PasareanuPV05,\n added-at = {2018-10-03T00:00:00.000+0200},\n author = {Pasareanu, Corina S. and Pelánek, Radek and Visser, Willem},\n biburl = {https://www.bibsonomy.org/bibtex/2cd16e6633b77039de4bc21a063450b76/dblp},\n booktitle = {CAV},\n crossref = {conf/cav/2005},\n editor = {Etessami, Kousha and Rajamani, Sriram K.},\n ee = {https://doi.org/10.1007/11513988_7},\n interhash = {dcd5bf3943d5ed1203de4d0d80124c44},\n intrahash = {cd16e6633b77039de4bc21a063450b76},\n isbn = {3-540-27231-3},\n keywords = {dblp},\n pages = {52-66},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T14:38:41.000+0200},\n title = {Concrete Model Checking with Abstract Matching and Refinement.},\n url = {http://dblp.uni-trier.de/db/conf/cav/cav2005.html#PasareanuPV05},\n volume = 3576,\n year = 2005\n}\n\n","author_short":["Pasareanu, C. S.","Pelánek, R.","Visser, W."],"editor_short":["Etessami, K.","Rajamani, S. K."],"key":"conf/cav/PasareanuPV05","id":"conf/cav/PasareanuPV05","bibbaseid":"pasareanu-pelnek-visser-concretemodelcheckingwithabstractmatchingandrefinement-2005","role":"author","urls":{"Link":"https://doi.org/10.1007/11513988_7","Paper":"http://dblp.uni-trier.de/db/conf/cav/cav2005.html#PasareanuPV05"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.147Z","downloads":0,"keywords":["dblp"],"search_terms":["concrete","model","checking","abstract","matching","refinement","pasareanu","pelánek","visser"],"title":"Concrete Model Checking with Abstract Matching and Refinement.","year":2005,"dataSources":["nk4Sfi2ddzBtdLpRN"]}