@CONFERENCE\{IMM2004-02863,
    author       = "B. Becker and M. Behle and F. Eisenbrand and M. Fr{\"{a}}nzle and M. Herbstritt and C. Herde and J. Hoffmann and D. Kr{\"{o}}ning and B. Nebel",
    title        = "Bounded Model Checking and Inductive Verification of Hybrid Discrete-Continuous Systems",
    year         = "2004",
    month        = "feb",
    keywords     = "Hybrid system verification; bounded model checking; inductive verification; verification engines; {BDD,} {SAT,} and {LP}",
    booktitle    = "GI/ITG/{GMM} Workshop {''}Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen''",
    volume       = "",
    series       = "- to be negotiated -",
    editor       = "",
    publisher    = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    organization = "",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2863-full.html"
}