%0 Conference Paper %1 conf/apn/GordonB00 %A Gordon, Steven %A Billington, Jonathan %B ICATPN %D 2000 %E Nielsen, Mogens %E Simpson, Dan %I Springer %K dblp %P 207-226 %T Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. %U http://dblp.uni-trier.de/db/conf/apn/icatpn2000.html#GordonB00 %V 1825 %@ 3-540-67693-7

@inproceedings{conf/apn/GordonB00, added-at = {2019-08-06T00:00:00.000+0200}, author = {Gordon, Steven and Billington, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/2f52aec3fb6881246ab7afa67e67c51cd/dblp}, booktitle = {ICATPN}, crossref = {conf/apn/2000}, editor = {Nielsen, Mogens and Simpson, Dan}, ee = {https://doi.org/10.1007/3-540-44988-4_13}, interhash = {de84d3a8f6b12ee5df73956623c0ee60}, intrahash = {f52aec3fb6881246ab7afa67e67c51cd}, isbn = {3-540-67693-7}, keywords = {dblp}, pages = {207-226}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-10T11:40:14.000+0200}, title = {Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/icatpn2000.html#GordonB00}, volume = 1825, year = 2000 }