@article{journals/corr/abs-cs-0701140,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Pasareanu, Corina S. and Pelánek, Radek and Visser, Willem},
  biburl = {https://www.bibsonomy.org/bibtex/295801db923ce1afabdb24f6dda9e252c/dblp},
  ee = {http://arxiv.org/abs/cs/0701140},
  interhash = {80238a35ead31d2e4b142cbf10fd0c23},
  intrahash = {95801db923ce1afabdb24f6dda9e252c},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T15:17:38.000+0200},
  title = {Predicate Abstraction with Under-approximation Refinement},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0701.html#abs-cs-0701140},
  volume = {abs/cs/0701140},
  year = 2007
}

{"_id":"kuaTRfvNjtYvBSDLi","bibbaseid":"pasareanu-pelnek-visser-predicateabstractionwithunderapproximationrefinement-2007","authorIDs":[],"author_short":["Pasareanu, C. S.","Pelánek, R.","Visser, W."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00: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/295801db923ce1afabdb24f6dda9e252c/dblp","ee":"http://arxiv.org/abs/cs/0701140","interhash":"80238a35ead31d2e4b142cbf10fd0c23","intrahash":"95801db923ce1afabdb24f6dda9e252c","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T15:17:38.000+0200","title":"Predicate Abstraction with Under-approximation Refinement","url":"http://dblp.uni-trier.de/db/journals/corr/corr0701.html#abs-cs-0701140","volume":"abs/cs/0701140","year":"2007","bibtex":"@article{journals/corr/abs-cs-0701140,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Pasareanu, Corina S. and Pelánek, Radek and Visser, Willem},\n biburl = {https://www.bibsonomy.org/bibtex/295801db923ce1afabdb24f6dda9e252c/dblp},\n ee = {http://arxiv.org/abs/cs/0701140},\n interhash = {80238a35ead31d2e4b142cbf10fd0c23},\n intrahash = {95801db923ce1afabdb24f6dda9e252c},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T15:17:38.000+0200},\n title = {Predicate Abstraction with Under-approximation Refinement},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr0701.html#abs-cs-0701140},\n volume = {abs/cs/0701140},\n year = 2007\n}\n\n","author_short":["Pasareanu, C. S.","Pelánek, R.","Visser, W."],"key":"journals/corr/abs-cs-0701140","id":"journals/corr/abs-cs-0701140","bibbaseid":"pasareanu-pelnek-visser-predicateabstractionwithunderapproximationrefinement-2007","role":"author","urls":{"Link":"http://arxiv.org/abs/cs/0701140","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr0701.html#abs-cs-0701140"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.182Z","downloads":0,"keywords":["dblp"],"search_terms":["predicate","abstraction","under","approximation","refinement","pasareanu","pelánek","visser"],"title":"Predicate Abstraction with Under-approximation Refinement","year":2007,"dataSources":["nk4Sfi2ddzBtdLpRN"]}