The University of Warwick Library - WebBridge

KReach : a tool for reachability in petri nets
Dixon, Alex.  TACAS 2020 : 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.  v. 12078.   2019-04-17. p. 405 - 412... .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.