![](/img/cover-not-exists.png)
Classes of Timed Automata and the Undecidability of Universality
Arnaldo V. Moura, Guilherme A. PintoТом:
65
Рік:
2002
Мова:
english
Сторінки:
16
DOI:
10.1016/s1571-0661(04)80479-1
Файл:
PDF, 254 KB
english, 2002