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

Document Versions

The cones and foci proof technique for timed transition systems –M. B. van der Zwaag — Information Processing Letters