Anish Mathuria. Using a Formal Technique for Protocol Idealization: A Cautionary Note. In 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2-6 September 2002, Aix-en-Provence, France. pages 468-472, IEEE Computer Society, 2002. [doi]
@inproceedings{Mathuria02,
title = {Using a Formal Technique for Protocol Idealization: A Cautionary Note},
author = {Anish Mathuria},
year = {2002},
url = {http://computer.org/proceedings/dexa/1668/16680468abs.htm},
tags = {protocol},
researchr = {https://researchr.org/publication/Mathuria02},
cites = {0},
citedby = {0},
pages = {468-472},
booktitle = {13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2-6 September 2002, Aix-en-Provence, France},
publisher = {IEEE Computer Society},
isbn = {0-7695-1668-8},
}