Agathe Merceron. Proving no Cliques in a Protocol. In 24th Australasian Computer Science Conference (ACSC 2001), 29 January - 1 February 2001, Gold Coast, Queensland, Australia. pages 134-139, IEEE Computer Society, 2001. [doi]
@inproceedings{Merceron01, title = {Proving no Cliques in a Protocol}, author = {Agathe Merceron}, year = {2001}, doi = {10.1109/ACSC.2001.906634}, url = {http://doi.ieeecomputersociety.org/10.1109/ACSC.2001.906634}, tags = {protocol}, researchr = {https://researchr.org/publication/Merceron01}, cites = {0}, citedby = {0}, pages = {134-139}, booktitle = {24th Australasian Computer Science Conference (ACSC 2001), 29 January - 1 February 2001, Gold Coast, Queensland, Australia}, publisher = {IEEE Computer Society}, isbn = {0-7695-0963-0}, }