Model checking timed automata (1998)

Cached

Download Links

by Sergio Yovine
Venue:In European Educational Forum: School on Embedded Systems
Citations:58 - 1 self