Differential dynamic logic for hybrid systems (0)

by A 2008a PLATZER
Venue:J. Autom. Reas