Papers: 10.1007/978-3-030-45190-5_22

https://doi.org/10.1007/978-3-030-45190-5_22

KReach: A Tool for Reachability in Petri Nets

Cited by: 8
Author(s): Alex Dixon, Ranko Lazić
Published: over 5 years ago

Software Mentions 1