The University of Warwick Library - WebBridge

What makes petri nets harder to verify : stack or data?, Concurrency, security, and puzzles : Festschrift for A.W. Roscoe on the occasion of his 60th birthday
Lazic, Ranko.  Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday.  v. 10160.   2017-01. p. 144 - 161... issn: 0302-9743 .   

Online access not found

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