@article{journals/scp/BarnatBR12,
  author = {Barnat, Jiri and Brim, Lubos and Rockai, Petr},
  ee = {http://dx.doi.org/10.1016/j.scico.2011.03.001},
  interhash = {1d908c8d2f7c802c75d0156662ccdf62},
  intrahash = {8017b9f3fd688160a70520283930d9f6},
  journal = {Sci. Comput. Program.},
  number = 12,
  pages = {1272-1288},
  title = {On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties.},
  url = {http://dblp.uni-trier.de/db/journals/scp/scp77.html#BarnatBR12},
  volume = 77,
  year = 2012
}

{"_id":"gDnJZr4wcbxGw3xeY","bibbaseid":"barnat-brim-rockai-ontheflyparallelmodelcheckingalgorithmthatisoptimalforverificationofweakltlproperties-2012","downloads":0,"creationDate":"2017-04-26T09:41:24.089Z","title":"On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties.","author_short":["Barnat, J.","Brim, L.","Rockai, P."],"year":2012,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Lubos Brim?items=1000","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Barnat"],"firstnames":["Jiri"],"suffixes":[]},{"propositions":[],"lastnames":["Brim"],"firstnames":["Lubos"],"suffixes":[]},{"propositions":[],"lastnames":["Rockai"],"firstnames":["Petr"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1016/j.scico.2011.03.001","interhash":"1d908c8d2f7c802c75d0156662ccdf62","intrahash":"8017b9f3fd688160a70520283930d9f6","journal":"Sci. Comput. Program.","number":"12","pages":"1272-1288","title":"On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties.","url":"http://dblp.uni-trier.de/db/journals/scp/scp77.html#BarnatBR12","volume":"77","year":"2012","bibtex":"@article{journals/scp/BarnatBR12,\n author = {Barnat, Jiri and Brim, Lubos and Rockai, Petr},\n ee = {http://dx.doi.org/10.1016/j.scico.2011.03.001},\n interhash = {1d908c8d2f7c802c75d0156662ccdf62},\n intrahash = {8017b9f3fd688160a70520283930d9f6},\n journal = {Sci. Comput. Program.},\n number = 12,\n pages = {1272-1288},\n title = {On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties.},\n url = {http://dblp.uni-trier.de/db/journals/scp/scp77.html#BarnatBR12},\n volume = 77,\n year = 2012\n}\n\n","author_short":["Barnat, J.","Brim, L.","Rockai, P."],"key":"journals/scp/BarnatBR12","id":"journals/scp/BarnatBR12","bibbaseid":"barnat-brim-rockai-ontheflyparallelmodelcheckingalgorithmthatisoptimalforverificationofweakltlproperties-2012","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.scico.2011.03.001","Paper":"http://dblp.uni-trier.de/db/journals/scp/scp77.html#BarnatBR12"},"downloads":0},"search_terms":["fly","parallel","model","checking","algorithm","optimal","verification","weak","ltl","properties","barnat","brim","rockai"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}