Trace Inclusion for One-Counter Nets Revisited - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Piotr Hofman, Patrick Totzke. Trace Inclusion for One-Counter Nets Revisited. In Joël Ouaknine, Igor Potapov, James Worrell, editors, Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings. Volume 8762 of Lecture Notes in Computer Science, pages 151-162, Springer, 2014. [doi]

The following publications are possibly variants of this publication:

Trace inclusion for one-counter nets revisitedPiotr Hofman, Patrick Totzke. TCS, 735:50-63, 2018. [doi]

Inclusion problems for one-counter systemsPatrick Totzke. PhD thesis, University of Edinburgh, UK, 2014. [doi]

runs on WebDSL