@inproceedings{ dblp3697699,
  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 0001 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 0001, J. and Kröning, D. and Nebel, B. and Polian, I. and Wimmer, R.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2004},
  key = {dblp3697699},
  id = {dblp3697699},
  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":"KSY9DNvogk7sAN3Cv","bibbaseid":"becker-behle-eisenbrand-frnzle-herbstritt-herde-hoffmann0001-krning-nebel-polian-wimmer-boundedmodelcheckingandinductiveverificationofhybriddiscretecontinuoussystems-2004","downloads":0,"creationDate":"2015-06-11T14:05:16.214Z","title":"Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems","author_short":["Becker, B.","Behle, M.","Eisenbrand, F.","Fränzle, M.","Herbstritt, M.","Herde, C.","Hoffmann 0001, J.","Kröning, D.","Nebel, B.","Polian, I.","Wimmer, R."],"year":2004,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/mbmv/BeckerBEFHHHKNPW04","bibdata":{"title":"Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems","author":["Bernd Becker","Markus Behle","Friedrich Eisenbrand","Martin Fränzle","Marc Herbstritt","Christian Herde","Jörg Hoffmann 0001","Daniel Kröning","Bernhard Nebel","Ilia Polian","Ralf Wimmer"],"author_short":["Becker, B.","Behle, M.","Eisenbrand, F.","Fränzle, M.","Herbstritt, M.","Herde, C.","Hoffmann 0001, J.","Kröning, D.","Nebel, B.","Polian, I.","Wimmer, R."],"bibtype":"inproceedings","type":"inproceedings","year":"2004","key":"dblp3697699","id":"dblp3697699","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)","bibtex":"@inproceedings{ dblp3697699,\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 0001 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 0001, 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 = {dblp3697699},\n id = {dblp3697699},\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}","bibbaseid":"becker-behle-eisenbrand-frnzle-herbstritt-herde-hoffmann0001-krning-nebel-polian-wimmer-boundedmodelcheckingandinductiveverificationofhybriddiscretecontinuoussystems-2004","role":"author","urls":{},"downloads":0},"search_terms":["bounded","model","checking","inductive","verification","hybrid","discrete","continuous","systems","becker","behle","eisenbrand","fränzle","herbstritt","herde","hoffmann 0001","kröning","nebel","polian","wimmer"],"keywords":[],"authorIDs":[],"dataSources":["Tpt6Dfbq7cXYHAWQW"]}