Trace Inclusion for One-Counter Nets Revisited

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-319-11439-2_12 ◽

2014 ◽

pp. 151-162 ◽

Cited By ~ 2

Author(s):

Piotr Hofman ◽

Patrick Totzke

Download Full-text