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