Journal article icon

Journal article

On the Relationship between Reachability Problems in Timed and Counter Automata

Actions


Authors


Christoph Haase More by this author
Joel Ouaknine More by this author
James Worrell More by this author
Journal:
Proceedings of the 6th International Workshop on Reachability Problems (RP'12)
Volume:
xxxx
Publication date:
2012-09-01
URN:
uuid:34a8bd82-96c7-4967-a8a2-fcf2808f6f1f
Local pid:
cs:5997

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP