The University of Warwick Library - WebBridge

The complexity of coverability in ν-Petri nets
Lazic, Ranko.  31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).    2016-07-05. p. 467 - 476... .   

Online access not found

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