DMCA

A.: Timed I/O Automata: A Complete Specification Theory for Real-time Systems (2010)

Cached

Download Links

by Alexandre David , Kim G. Larsen , Axel Legay , Ulrik Nyman
Venue:In: HSCC 2010
Citations:34 - 15 self