@inproceedings{conf/nfm/BarnatBR12,
  author = {Barnat, Jiri and Brim, Lubos and Rockai, Petr},
  booktitle = {NASA Formal Methods},
  crossref = {conf/nfm/2012},
  editor = {Goodloe, Alwyn and Person, Suzette},
  ee = {http://dx.doi.org/10.1007/978-3-642-28891-3_25},
  interhash = {352593ba70828738decee8d1bec10886},
  intrahash = {ed5c43c654ce8ec97fb80aa39839044b},
  isbn = {978-3-642-28890-6},
  pages = {252-266},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs.},
  url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#BarnatBR12},
  volume = 7226,
  year = 2012
}

{"_id":"k4Tnqba438QwM7eaS","bibbaseid":"barnat-brim-rockai-towardsltlmodelcheckingofunmodifiedthreadbasedccprograms-2012","downloads":0,"creationDate":"2017-04-26T09:41:24.093Z","title":"Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs.","author_short":["Barnat, J.","Brim, L.","Rockai, P."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Lubos Brim?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Barnat"],"firstnames":["Jiri"],"suffixes":[]},{"propositions":[],"lastnames":["Brim"],"firstnames":["Lubos"],"suffixes":[]},{"propositions":[],"lastnames":["Rockai"],"firstnames":["Petr"],"suffixes":[]}],"booktitle":"NASA Formal Methods","crossref":"conf/nfm/2012","editor":[{"propositions":[],"lastnames":["Goodloe"],"firstnames":["Alwyn"],"suffixes":[]},{"propositions":[],"lastnames":["Person"],"firstnames":["Suzette"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-642-28891-3_25","interhash":"352593ba70828738decee8d1bec10886","intrahash":"ed5c43c654ce8ec97fb80aa39839044b","isbn":"978-3-642-28890-6","pages":"252-266","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs.","url":"http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#BarnatBR12","volume":"7226","year":"2012","bibtex":"@inproceedings{conf/nfm/BarnatBR12,\n author = {Barnat, Jiri and Brim, Lubos and Rockai, Petr},\n booktitle = {NASA Formal Methods},\n crossref = {conf/nfm/2012},\n editor = {Goodloe, Alwyn and Person, Suzette},\n ee = {http://dx.doi.org/10.1007/978-3-642-28891-3_25},\n interhash = {352593ba70828738decee8d1bec10886},\n intrahash = {ed5c43c654ce8ec97fb80aa39839044b},\n isbn = {978-3-642-28890-6},\n pages = {252-266},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs.},\n url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#BarnatBR12},\n volume = 7226,\n year = 2012\n}\n\n","author_short":["Barnat, J.","Brim, L.","Rockai, P."],"editor_short":["Goodloe, A.","Person, S."],"key":"conf/nfm/BarnatBR12","id":"conf/nfm/BarnatBR12","bibbaseid":"barnat-brim-rockai-towardsltlmodelcheckingofunmodifiedthreadbasedccprograms-2012","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-642-28891-3_25","Paper":"http://dblp.uni-trier.de/db/conf/nfm/nfm2012.html#BarnatBR12"},"downloads":0},"search_terms":["towards","ltl","model","checking","unmodified","thread","based","programs","barnat","brim","rockai"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}