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
.
Sorry - based on the information provided, WebBridge cannot offer appropriate links.