Assertion-based analysis of hybrid systems with PVS (2001)

by U Hannemann Abraham-Mumm, M Steen
Venue:In Proc. of EuroCAST'2001, LNCS