@inproceedings{Die2007,
Author = {Dierks, Henning and Kupferschmid, Sebastian and Larsen, Kim G.},
Title = {Automatic Abstraction Refinement for Timed Automata},

Year = {2007},
Pages = {114-129},
Month = {01},
Editor = {Springer Verlag},
Publisher = {Springer Verlag},
Series = {Lecture Notes in Computer Science 4763},
Isbn = {978-3-540-75453-4},
Booktitle = {Formal Modeling and Analysis of Timed Systems. 5th International Conference, FORMATS 2007},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }