@articleWer2007, 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} @COMMENTBibtex file generated on