Journal article icon

Journal article

On the Relationship between Reachability Problems in Timed and Counter Automata

Actions


Authors


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


Views and Downloads






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

TO TOP