@inproceedings{Kup2007,
Author = {Kupferschmid, Sebastian and Dräger, Klaus and Hoffmann, Jörg and Finkbeiner, Bernd and Henning Dierks and Aandreas Podelski and Gerd Behrmann},
Title = {Uppaal/DMC - Abstraction-based Heuristics for Directed Model Checking},

Year = {2007},
Pages = {679-682},
Month = {01},
Editor = {Springer-Verlag},
Publisher = {Springer-Verlag},
Series = {Lecture Notes in Computer Science 4424},
Isbn = {978-3-540-71208-4},
Booktitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }