DMCA

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

by Erika Ábrahám-mumm , Ulrich Hannemann , Martin Steffen
Venue:In Proc. of EuroCAST'2001, LNCS
Citations:1 - 0 self