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