Nr. 29 (1997): RS-29 Model Checking via Reachability Testing for Timed Automata

Publiceret: 1997-01-29

Artikler