On the Relationship between Reachability Problems in Timed and Counter Automata

On the Relationship between Reachability Problems in Timed and Counter Automata

Weitere Versionen anzeigen (1)

Bibliographische Detailangaben
Hauptverfasser:	Haase, C, Ouaknine, J, Worrell, J
Format:	Journal article
Veröffentlicht:	2012

On the relationship between reachability problems in timed and counter automata

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

Veröffentlicht 2012

Journal article