@inproceedings{conf/fmics/BarnatBBKR12,
  author = {Barnat, Jiri and Beran, Jan and Brim, Lubos and Kratochvila, Tomas and Rockai, Petr},
  booktitle = {FMICS},
  crossref = {conf/fmics/2012},
  editor = {Stoelinga, Mariëlle and Pinger, Ralf},
  ee = {http://dx.doi.org/10.1007/978-3-642-32469-7_6},
  interhash = {0c67341a400b10d552923da689c2c014},
  intrahash = {ca0e694778e366039207ee496e51dade},
  isbn = {978-3-642-32468-0},
  pages = {78-92},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.},
  url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2012.html#BarnatBBKR12},
  volume = 7437,
  year = 2012
}

{"_id":"Jhkwqp3FdZ2Msqo3j","bibbaseid":"barnat-beran-brim-kratochvila-rockai-toolchaintosupportautomatedformalverificationofavionicssimulinkdesigns-2012","downloads":0,"creationDate":"2017-04-26T09:41:24.087Z","title":"Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.","author_short":["Barnat, J.","Beran, J.","Brim, L.","Kratochvila, T.","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":["Beran"],"firstnames":["Jan"],"suffixes":[]},{"propositions":[],"lastnames":["Brim"],"firstnames":["Lubos"],"suffixes":[]},{"propositions":[],"lastnames":["Kratochvila"],"firstnames":["Tomas"],"suffixes":[]},{"propositions":[],"lastnames":["Rockai"],"firstnames":["Petr"],"suffixes":[]}],"booktitle":"FMICS","crossref":"conf/fmics/2012","editor":[{"propositions":[],"lastnames":["Stoelinga"],"firstnames":["Mariëlle"],"suffixes":[]},{"propositions":[],"lastnames":["Pinger"],"firstnames":["Ralf"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-642-32469-7_6","interhash":"0c67341a400b10d552923da689c2c014","intrahash":"ca0e694778e366039207ee496e51dade","isbn":"978-3-642-32468-0","pages":"78-92","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.","url":"http://dblp.uni-trier.de/db/conf/fmics/fmics2012.html#BarnatBBKR12","volume":"7437","year":"2012","bibtex":"@inproceedings{conf/fmics/BarnatBBKR12,\n author = {Barnat, Jiri and Beran, Jan and Brim, Lubos and Kratochvila, Tomas and Rockai, Petr},\n booktitle = {FMICS},\n crossref = {conf/fmics/2012},\n editor = {Stoelinga, Mariëlle and Pinger, Ralf},\n ee = {http://dx.doi.org/10.1007/978-3-642-32469-7_6},\n interhash = {0c67341a400b10d552923da689c2c014},\n intrahash = {ca0e694778e366039207ee496e51dade},\n isbn = {978-3-642-32468-0},\n pages = {78-92},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.},\n url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2012.html#BarnatBBKR12},\n volume = 7437,\n year = 2012\n}\n\n","author_short":["Barnat, J.","Beran, J.","Brim, L.","Kratochvila, T.","Rockai, P."],"editor_short":["Stoelinga, M.","Pinger, R."],"key":"conf/fmics/BarnatBBKR12","id":"conf/fmics/BarnatBBKR12","bibbaseid":"barnat-beran-brim-kratochvila-rockai-toolchaintosupportautomatedformalverificationofavionicssimulinkdesigns-2012","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-642-32469-7_6","Paper":"http://dblp.uni-trier.de/db/conf/fmics/fmics2012.html#BarnatBBKR12"},"downloads":0},"search_terms":["tool","chain","support","automated","formal","verification","avionics","simulink","designs","barnat","beran","brim","kratochvila","rockai"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}