@inproceedings{ dblp3289983,
  title = {Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems},
  author = {Bernd Becker and Markus Behle and Friedrich Eisenbrand and Martin Fränzle and Marc Herbstritt and Christian Herde and Jörg Hoffmann and Daniel Kröning and Bernhard Nebel and Ilia Polian and Ralf Wimmer},
  author_short = {Becker, B. and Behle, M. and Eisenbrand, F. and Fränzle, M. and Herbstritt, M. and Herde, C. and Hoffmann, J. and Kröning, D. and Nebel, B. and Polian, I. and Wimmer, R.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2004},
  key = {dblp3289983},
  id = {dblp3289983},
  biburl = {http://www.dblp.org/rec/bibtex/conf/mbmv/BeckerBEFHHHKNPW04},
  url = {},
  conference = {MBMV},
  pages = {65-75},
  text = {MBMV 2004:65-75},
  booktitle = {Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}
}

{"_id":{"_str":"52a215079eb585cc26001cfa"},"__v":7,"authorIDs":[],"author_short":["Becker, B.","Behle, M.","Eisenbrand, F.","Fränzle, M.","Herbstritt, M.","Herde, C.","Hoffmann, J.","Kröning, D.","Nebel, B.","Polian, I.","Wimmer, R."],"bibbaseid":"becker-behle-eisenbrand-frnzle-herbstritt-herde-hoffmann-krning-nebel-polian-wimmer-boundedmodelcheckingandinductiveverificationofhybriddiscretecontinuoussystems-2004","bibdata":{"downloads":0,"bibbaseid":"becker-behle-eisenbrand-frnzle-herbstritt-herde-hoffmann-krning-nebel-polian-wimmer-boundedmodelcheckingandinductiveverificationofhybriddiscretecontinuoussystems-2004","urls":{},"role":"author","bibtex":"@inproceedings{ dblp3289983,\n title = {Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems},\n author = {Bernd Becker and Markus Behle and Friedrich Eisenbrand and Martin Fränzle and Marc Herbstritt and Christian Herde and Jörg Hoffmann and Daniel Kröning and Bernhard Nebel and Ilia Polian and Ralf Wimmer},\n author_short = {Becker, B. and Behle, M. and Eisenbrand, F. and Fränzle, M. and Herbstritt, M. and Herde, C. and Hoffmann, J. and Kröning, D. and Nebel, B. and Polian, I. and Wimmer, R.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2004},\n key = {dblp3289983},\n id = {dblp3289983},\n biburl = {http://www.dblp.org/rec/bibtex/conf/mbmv/BeckerBEFHHHKNPW04},\n url = {},\n conference = {MBMV},\n pages = {65-75},\n text = {MBMV 2004:65-75},\n booktitle = {Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}\n}","booktitle":"Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","text":"MBMV 2004:65-75","pages":"65-75","conference":"MBMV","url":"","biburl":"http://www.dblp.org/rec/bibtex/conf/mbmv/BeckerBEFHHHKNPW04","id":"dblp3289983","key":"dblp3289983","year":"2004","type":"inproceedings","bibtype":"inproceedings","author_short":["Becker, B.","Behle, M.","Eisenbrand, F.","Fränzle, M.","Herbstritt, M.","Herde, C.","Hoffmann, J.","Kröning, D.","Nebel, B.","Polian, I.","Wimmer, R."],"author":["Bernd Becker","Markus Behle","Friedrich Eisenbrand","Martin Fränzle","Marc Herbstritt","Christian Herde","Jörg Hoffmann","Daniel Kröning","Bernhard Nebel","Ilia Polian","Ralf Wimmer"],"title":"Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/mbmv/BeckerBEFHHHKNPW04","downloads":0,"keywords":[],"search_terms":["bounded","model","checking","inductive","verification","hybrid","discrete","continuous","systems","becker","behle","eisenbrand","fränzle","herbstritt","herde","hoffmann","kröning","nebel","polian","wimmer"],"title":"Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems","year":2004,"dataSources":["Tpt6Dfbq7cXYHAWQW"]}