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

Year = {2006},
Month = {01},
type = {article}
}
@COMMENT{Bibtex file generated on }