- Tytuł:
- Undecidability Results for Timed Automata with Silent Transitions
- Autorzy:
-
Bouyer, P.
Haddad, S.
Reynier, P-A. - Data publikacji:
- 2009
- Słowa kluczowe:
-
Timed Automata
silent transitions
decidability - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł