On the Relationship between Reachability Problems in Timed and Counter Automata

On the Relationship between Reachability Problems in Timed and Counter Automata

Mostrar otras versiones (1)
Detalles Bibliográficos
Autores principales: Haase, C, Ouaknine, J, Worrell, J
Formato: Journal article
Publicado: 2012
Mostrar todas las versiones(2)

Ejemplares similares