The cones and foci proof technique for timed transition systems

Cached

Download Links

by M. B. van der Zwaag
Venue:Information Processing Letters
Citations:8 - 0 self