Reachability results for timed automata
✍
Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina
📂
Article
📅
2010
🏛
Springer-Verlag
🌐
English
⚖ 717 KB