Reachability analysis for timed automata based on partitioning* /
| Основен автор: | Polrola, Agata |
|---|---|
| Други автори: | Penczek, Wojciech., Szreter, Maciej |
| Формат: | Статия |
| Език: | English |
| Публикувано: |
Warszawa :
IPI PAN.,
2003.
|
| Серия: |
Prace IPI PAN
Vol. 961 |
| Предмети: |
| Налични ИМИ | Сигнатура: |
P90C |
|---|