Bibtex:

@inproceedings{ber-bec2004,
  AUTHOR    = { Becker, Bernd
                and Behle, Markus
                and Eisenbrand, Fritz
                and Fraenzle, Martin
                and Herbstritt, Marc
                and Herde, Christian
                and Hoffmann, Joerg
                and Kroening, Daniel
                and Nebel, Bernhard
                and Polian, Ilia
                and Wimmer, Ralf },
  TITLE     = { Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems },
  BOOKTITLE = { ITG/GI/GMM-Workshop 'Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen' },
  YEAR      = { 2004 },
  PAGES     = { 65--75 },
  ISBN      = { 3-8322-2486-6 },
  MONTH     = { February },
  EDITOR    = { Dominik Stoffel and Wolfgang Kunz },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.