@inproceedings{conf/cav/PitermanV04,
  added-at = {2017-05-25T00:00:00.000+0200},
  author = {Piterman, Nir and Vardi, Moshe Y.},
  biburl = {https://www.bibsonomy.org/bibtex/29f20f1fce99a8b5a87ea7522e7e86fd0/dblp},
  booktitle = {CAV},
  crossref = {conf/cav/2004},
  editor = {Alur, Rajeev and Peled, Doron A.},
  ee = {https://doi.org/10.1007/978-3-540-27813-9_30},
  interhash = {9f70dc7cc15992231951c0082c8d4daa},
  intrahash = {9f20f1fce99a8b5a87ea7522e7e86fd0},
  isbn = {3-540-22342-8},
  keywords = {dblp},
  pages = {387-400},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T14:39:45.000+0200},
  title = {Global Model-Checking of Infinite-State Systems.},
  url = {http://dblp.uni-trier.de/db/conf/cav/cav2004.html#PitermanV04},
  volume = 3114,
  year = 2004
}

{"_id":"oJPZpweNdaou3D99k","bibbaseid":"piterman-vardi-globalmodelcheckingofinfinitestatesystems-2004","authorIDs":[],"author_short":["Piterman, N.","Vardi, M. Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-25T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[]},{"propositions":[],"lastnames":["Vardi"],"firstnames":["Moshe","Y."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/29f20f1fce99a8b5a87ea7522e7e86fd0/dblp","booktitle":"CAV","crossref":"conf/cav/2004","editor":[{"propositions":[],"lastnames":["Alur"],"firstnames":["Rajeev"],"suffixes":[]},{"propositions":[],"lastnames":["Peled"],"firstnames":["Doron","A."],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-540-27813-9_30","interhash":"9f70dc7cc15992231951c0082c8d4daa","intrahash":"9f20f1fce99a8b5a87ea7522e7e86fd0","isbn":"3-540-22342-8","keywords":"dblp","pages":"387-400","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T14:39:45.000+0200","title":"Global Model-Checking of Infinite-State Systems.","url":"http://dblp.uni-trier.de/db/conf/cav/cav2004.html#PitermanV04","volume":"3114","year":"2004","bibtex":"@inproceedings{conf/cav/PitermanV04,\n added-at = {2017-05-25T00:00:00.000+0200},\n author = {Piterman, Nir and Vardi, Moshe Y.},\n biburl = {https://www.bibsonomy.org/bibtex/29f20f1fce99a8b5a87ea7522e7e86fd0/dblp},\n booktitle = {CAV},\n crossref = {conf/cav/2004},\n editor = {Alur, Rajeev and Peled, Doron A.},\n ee = {https://doi.org/10.1007/978-3-540-27813-9_30},\n interhash = {9f70dc7cc15992231951c0082c8d4daa},\n intrahash = {9f20f1fce99a8b5a87ea7522e7e86fd0},\n isbn = {3-540-22342-8},\n keywords = {dblp},\n pages = {387-400},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T14:39:45.000+0200},\n title = {Global Model-Checking of Infinite-State Systems.},\n url = {http://dblp.uni-trier.de/db/conf/cav/cav2004.html#PitermanV04},\n volume = 3114,\n year = 2004\n}\n\n","author_short":["Piterman, N.","Vardi, M. Y."],"editor_short":["Alur, R.","Peled, D. A."],"key":"conf/cav/PitermanV04","id":"conf/cav/PitermanV04","bibbaseid":"piterman-vardi-globalmodelcheckingofinfinitestatesystems-2004","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-540-27813-9_30","Paper":"http://dblp.uni-trier.de/db/conf/cav/cav2004.html#PitermanV04"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/nir piterman?items=1000","creationDate":"2020-05-20T12:56:32.440Z","downloads":0,"keywords":["dblp"],"search_terms":["global","model","checking","infinite","state","systems","piterman","vardi"],"title":"Global Model-Checking of Infinite-State Systems.","year":2004,"dataSources":["rQGF6JAEZAPDgRfrS"]}