Verification of a Revised WAP Wireless Transaction Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steven Gordon, Lars Michael Kristensen, Jonathan Billington. Verification of a Revised WAP Wireless Transaction Protocol. In Javier Esparza, Charles Lakos, editors, Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings. Volume 2360 of Lecture Notes in Computer Science, pages 182-202, Springer, 2002. [doi]

This author has not been identified. Look up 'Steven Gordon' in GoogleThis author has not been identified. Look up 'Lars Michael Kristensen' in GoogleThis author has not been identified. Look up 'Jonathan Billington' in Google

runs on WebDSL