Verification of a Revised WAP Wireless Transaction Protocol

Application and Theory of Petri Nets 2002 - Lecture Notes in Computer Science ◽

10.1007/3-540-48068-4_12 ◽

2002 ◽

pp. 182-202 ◽

Author(s):

Steven Gordon ◽

Lars Michael Kristensen ◽

Jonathan Billington

Download Full-text