The cones and foci proof technique for timed transition systems (0)

by M B van der Zwaag
Venue:Information Processing Letters