On the Relationship between Reachability Problems in Timed and Counter Automata

On the Relationship between Reachability Problems in Timed and Counter Automata

Afficher d'autres versions (1)

Détails bibliographiques
Auteurs principaux:	Haase, C, Ouaknine, J, Worrell, J
Format:	Journal article
Publié:	2012

On the relationship between reachability problems in timed and counter automata

On the relationship between reachability problems in timed and counter automata par Haase, C, Ouaknine, J, Worrell, J

Publié 2012

Journal article