On the Relationship between Reachability Problems in Timed and Counter Automata
Christoph Haase‚ Joel Ouaknine and James Worrell
Book Title
Proceedings of the 6th International Workshop on Reachability Problems (RP'12)
Location
Bordeaux‚ France
Month
September
Note
To appear.
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
xxxx
Year
2012