@inproceedings{conf/tase/BarnatBBKO12,
  author = {Barnat, Jiri and Brim, Lubos and Beran, Jan and Kratochvila, Tomas and Oliveira, Italo R.},
  booktitle = {TASE},
  crossref = {conf/tase/2012},
  editor = {Margaria, Tiziana and Qiu, Zongyan and Yang, Hongli},
  ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2012.42},
  interhash = {2ab3286080964597757442b2e055d865},
  intrahash = {d04ad9f86b13bedffb87cf4bb41dcc9a},
  isbn = {978-0-7695-4751-0},
  pages = {245-248},
  publisher = {IEEE Computer Society},
  title = {Executing Model Checking Counterexamples in Simulink.},
  url = {http://dblp.uni-trier.de/db/conf/tase/tase2012.html#BarnatBBKO12},
  year = 2012
}

{"_id":"tgDhXkzo4YTu2jxk9","bibbaseid":"barnat-brim-beran-kratochvila-oliveira-executingmodelcheckingcounterexamplesinsimulink-2012","downloads":0,"creationDate":"2017-04-26T09:41:24.059Z","title":"Executing Model Checking Counterexamples in Simulink.","author_short":["Barnat, J.","Brim, L.","Beran, J.","Kratochvila, T.","Oliveira, I. R."],"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":["Beran"],"firstnames":["Jan"],"suffixes":[]},{"propositions":[],"lastnames":["Kratochvila"],"firstnames":["Tomas"],"suffixes":[]},{"propositions":[],"lastnames":["Oliveira"],"firstnames":["Italo","R."],"suffixes":[]}],"booktitle":"TASE","crossref":"conf/tase/2012","editor":[{"propositions":[],"lastnames":["Margaria"],"firstnames":["Tiziana"],"suffixes":[]},{"propositions":[],"lastnames":["Qiu"],"firstnames":["Zongyan"],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Hongli"],"suffixes":[]}],"ee":"http://doi.ieeecomputersociety.org/10.1109/TASE.2012.42","interhash":"2ab3286080964597757442b2e055d865","intrahash":"d04ad9f86b13bedffb87cf4bb41dcc9a","isbn":"978-0-7695-4751-0","pages":"245-248","publisher":"IEEE Computer Society","title":"Executing Model Checking Counterexamples in Simulink.","url":"http://dblp.uni-trier.de/db/conf/tase/tase2012.html#BarnatBBKO12","year":"2012","bibtex":"@inproceedings{conf/tase/BarnatBBKO12,\n author = {Barnat, Jiri and Brim, Lubos and Beran, Jan and Kratochvila, Tomas and Oliveira, Italo R.},\n booktitle = {TASE},\n crossref = {conf/tase/2012},\n editor = {Margaria, Tiziana and Qiu, Zongyan and Yang, Hongli},\n ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2012.42},\n interhash = {2ab3286080964597757442b2e055d865},\n intrahash = {d04ad9f86b13bedffb87cf4bb41dcc9a},\n isbn = {978-0-7695-4751-0},\n pages = {245-248},\n publisher = {IEEE Computer Society},\n title = {Executing Model Checking Counterexamples in Simulink.},\n url = {http://dblp.uni-trier.de/db/conf/tase/tase2012.html#BarnatBBKO12},\n year = 2012\n}\n\n","author_short":["Barnat, J.","Brim, L.","Beran, J.","Kratochvila, T.","Oliveira, I. R."],"editor_short":["Margaria, T.","Qiu, Z.","Yang, H."],"key":"conf/tase/BarnatBBKO12","id":"conf/tase/BarnatBBKO12","bibbaseid":"barnat-brim-beran-kratochvila-oliveira-executingmodelcheckingcounterexamplesinsimulink-2012","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/TASE.2012.42","Paper":"http://dblp.uni-trier.de/db/conf/tase/tase2012.html#BarnatBBKO12"},"downloads":0},"search_terms":["executing","model","checking","counterexamples","simulink","barnat","brim","beran","kratochvila","oliveira"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}