On the Relationship between Reachability Problems in Timed and Counter Automata

On the Relationship between Reachability Problems in Timed and Counter Automata

Show other versions (1)

מידע ביבליוגרפי
Main Authors:	Haase, C, Ouaknine, J, Worrell, J
פורמט:	Journal article
יצא לאור:	2012

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