Relating Reachability Problems in Timed and Counter Automata

Christoph Haase, Joël Ouaknine, James Worrell. Relating Reachability Problems in Timed and Counter Automata. Fundamenta Informaticae, 143(3-4):317-338, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.