![](/img/cover-not-exists.png)
On Improving Backwards Verification of Timed Automata (Extended Abstract)
Victor Braberman, Carlos López Pombo, Alfredo OliveroVolume:
65
Year:
2002
Language:
english
Pages:
8
DOI:
10.1016/s1571-0661(04)80469-9
File:
PDF, 149 KB
english, 2002