@article{Wer2007,
Author = {Werner Damm and Guilherme Pinto and Stefan Ratschan},
Title = {Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems},

Year = {2007},
Pages = {63-88},
Month = {01},
Edition = {18(1)},
Booktitle = {International Journal of Foundations of Computer Science},
type = {article}
}
@COMMENT{Bibtex file generated on }