Model Checking via Reachability Testing for Timed Automata (1997)

Cached

Download Links

by Augusto Burgueño , Kim G. Larsen , Luca Aceto , Luca Aceto
Citations:44 - 13 self

Document Versions

Model Checking via Reachability Testing for Timed Automata – Augusto Burgueño, Kim G. Larsen, Luca Aceto, Luca Aceto — 1997