- Tytuł:
- Reachability Analysis for Timed Automata Using Partitioning Algorithms
- Autorzy:
-
Półrola, A.
Penczek, W.
Szreter, M. - Data publikacji:
- 2003
- Słowa kluczowe:
-
Timed Automata
pseudo-bisimulating models
pb-models - Pokaż więcej
- Dostawca treści:
- BazTech