Federico Crazzolara, Glynn Winskel. Petri nets in cryptographic protocols. In Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), San Francisco, CA, April 23-27, 2001. pages 149, IEEE Computer Society, 2001.
@inproceedings{CrazzolaraW01:0,
title = {Petri nets in cryptographic protocols},
author = {Federico Crazzolara and Glynn Winskel},
year = {2001},
tags = {protocol},
researchr = {https://researchr.org/publication/CrazzolaraW01%3A0},
cites = {0},
citedby = {0},
pages = {149},
booktitle = {Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), San Francisco, CA, April 23-27, 2001},
publisher = {IEEE Computer Society},
isbn = {0-7695-0990-8},
}