@inproceedings{Dam2005,
Author = {Damm, W. and Pinto, G. and Ratschan, S.},
Title = {Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.},

Year = {2005},
Month = {01},
Editor = {Springer-Verlag},
Publisher = {Springer-Verlag},
Series = {Lecture Notes in Computer Science 3707},
Address = {Berlin, Heidelberg},
Isbn = {1},
Booktitle = {Automated Technology for Verification and Analysis (ATA)},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }