On the Relationship between Reachability Problems in Timed and Counter Automata

On the Relationship between Reachability Problems in Timed and Counter Automata

Показати інші версії (1)
Бібліографічні деталі
Автори: Haase, C, Ouaknine, J, Worrell, J
Формат: Journal article
Опубліковано: 2012
Search Result 1
On the relationship between reachability problems in timed and counter automata

On the relationship between reachability problems in timed and counter automata за авторством Haase, C, Ouaknine, J, Worrell, J

Опубліковано 2012
Journal article
Показати всі версії (2)

Схожі ресурси