@inproceedings{conf/iceccs/BarnatBL07,
  author = {Barnat, Jiri and Brim, Lubos and Leucker, Martin},
  booktitle = {ICECCS},
  crossref = {conf/iceccs/2007},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.34},
  interhash = {285ccada034665f2c7c8728d0c18304d},
  intrahash = {596acf7e5751116a9386dd56f3fddc89},
  isbn = {978-0-7695-2895-3},
  pages = {330-339},
  publisher = {IEEE Computer Society},
  title = {Parallel Model Checking and the FMICS-jETI Platform.},
  url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2007.html#BarnatBL07},
  year = 2007
}

{"_id":"cggFcGX9RaYbfA3xL","bibbaseid":"barnat-brim-leucker-parallelmodelcheckingandthefmicsjetiplatform-2007","downloads":0,"creationDate":"2017-04-26T09:41:24.035Z","title":"Parallel Model Checking and the FMICS-jETI Platform.","author_short":["Barnat, J.","Brim, L.","Leucker, M."],"year":2007,"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":["Leucker"],"firstnames":["Martin"],"suffixes":[]}],"booktitle":"ICECCS","crossref":"conf/iceccs/2007","ee":"http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.34","interhash":"285ccada034665f2c7c8728d0c18304d","intrahash":"596acf7e5751116a9386dd56f3fddc89","isbn":"978-0-7695-2895-3","pages":"330-339","publisher":"IEEE Computer Society","title":"Parallel Model Checking and the FMICS-jETI Platform.","url":"http://dblp.uni-trier.de/db/conf/iceccs/iceccs2007.html#BarnatBL07","year":"2007","bibtex":"@inproceedings{conf/iceccs/BarnatBL07,\n author = {Barnat, Jiri and Brim, Lubos and Leucker, Martin},\n booktitle = {ICECCS},\n crossref = {conf/iceccs/2007},\n ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.34},\n interhash = {285ccada034665f2c7c8728d0c18304d},\n intrahash = {596acf7e5751116a9386dd56f3fddc89},\n isbn = {978-0-7695-2895-3},\n pages = {330-339},\n publisher = {IEEE Computer Society},\n title = {Parallel Model Checking and the FMICS-jETI Platform.},\n url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2007.html#BarnatBL07},\n year = 2007\n}\n\n","author_short":["Barnat, J.","Brim, L.","Leucker, M."],"key":"conf/iceccs/BarnatBL07","id":"conf/iceccs/BarnatBL07","bibbaseid":"barnat-brim-leucker-parallelmodelcheckingandthefmicsjetiplatform-2007","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.34","Paper":"http://dblp.uni-trier.de/db/conf/iceccs/iceccs2007.html#BarnatBL07"},"downloads":0},"search_terms":["parallel","model","checking","fmics","jeti","platform","barnat","brim","leucker"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}