The cones and foci proof technique for timed transition systems
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 |
