@inproceedings{conf/spin/BrimB07,
  author = {Brim, Lubos and Barnat, Jiri},
  booktitle = {SPIN},
  crossref = {conf/spin/2007},
  date = {2007-09-03},
  editor = {Bosnacki, Dragan and Edelkamp, Stefan},
  ee = {http://dx.doi.org/10.1007/978-3-540-73370-6_2},
  interhash = {9f46dba34694f4815620dd5bd8e76baa},
  intrahash = {a040c8217c543175fd250080ec28c483},
  isbn = {978-3-540-73369-0},
  pages = {2-3},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Tutorial: Parallel Model Checking.},
  url = {http://dblp.uni-trier.de/db/conf/spin/spin2007.html#BrimB07},
  volume = 4595,
  year = 2007
}

{"_id":"4FkSWJ2W62TfyZN8f","bibbaseid":"brim-barnat-tutorialparallelmodelchecking-2007","downloads":0,"creationDate":"2017-04-26T09:41:24.178Z","title":"Tutorial: Parallel Model Checking.","author_short":["Brim, L.","Barnat, J."],"year":2007,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Lubos Brim?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Brim"],"firstnames":["Lubos"],"suffixes":[]},{"propositions":[],"lastnames":["Barnat"],"firstnames":["Jiri"],"suffixes":[]}],"booktitle":"SPIN","crossref":"conf/spin/2007","date":"2007-09-03","editor":[{"propositions":[],"lastnames":["Bosnacki"],"firstnames":["Dragan"],"suffixes":[]},{"propositions":[],"lastnames":["Edelkamp"],"firstnames":["Stefan"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-540-73370-6_2","interhash":"9f46dba34694f4815620dd5bd8e76baa","intrahash":"a040c8217c543175fd250080ec28c483","isbn":"978-3-540-73369-0","pages":"2-3","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Tutorial: Parallel Model Checking.","url":"http://dblp.uni-trier.de/db/conf/spin/spin2007.html#BrimB07","volume":"4595","year":"2007","bibtex":"@inproceedings{conf/spin/BrimB07,\n author = {Brim, Lubos and Barnat, Jiri},\n booktitle = {SPIN},\n crossref = {conf/spin/2007},\n date = {2007-09-03},\n editor = {Bosnacki, Dragan and Edelkamp, Stefan},\n ee = {http://dx.doi.org/10.1007/978-3-540-73370-6_2},\n interhash = {9f46dba34694f4815620dd5bd8e76baa},\n intrahash = {a040c8217c543175fd250080ec28c483},\n isbn = {978-3-540-73369-0},\n pages = {2-3},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Tutorial: Parallel Model Checking.},\n url = {http://dblp.uni-trier.de/db/conf/spin/spin2007.html#BrimB07},\n volume = 4595,\n year = 2007\n}\n\n","author_short":["Brim, L.","Barnat, J."],"editor_short":["Bosnacki, D.","Edelkamp, S."],"key":"conf/spin/BrimB07","id":"conf/spin/BrimB07","bibbaseid":"brim-barnat-tutorialparallelmodelchecking-2007","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-540-73370-6_2","Paper":"http://dblp.uni-trier.de/db/conf/spin/spin2007.html#BrimB07"},"downloads":0},"search_terms":["tutorial","parallel","model","checking","brim","barnat"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}