On the Relationship between Reachability Problems in Timed and Counter Automata
Autori principali: | Haase, C, Ouaknine, J, Worrell, J |
---|---|
Natura: | Journal article |
Pubblicazione: |
2012
|
Documenti analoghi
Documenti analoghi
-
On the relationship between reachability problems in timed and counter automata
di: Haase, C, et al.
Pubblicazione: (2012) -
Reachability in Succinct and Parametric One−Counter Automata
di: Haase, C, et al.
Pubblicazione: (2009) -
Reachability in Succinct and Parametric One-Counter Automata
di: Haase, C, et al.
Pubblicazione: (2009) -
On reachability for hybrid automata over bounded time
di: Brihaye, T, et al.
Pubblicazione: (2011) -
Branching−Time Model Checking of Parametric One−Counter Automata
di: Göller, S, et al.
Pubblicazione: (2012)