Cones, foci: A mechanical framework for protocol verification

2006

Presented at the International Symposium on Formal Methods for Components and Objects, Amsterdam

Additional Metadata
THEME	Software (theme 1)
Publisher	Springer
Journal	Formal Methods in System Design
Conference	International Symposium on Formal Methods for Components and Objects
Organisation	Software Analysis and Transformation
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Fokkink, W., Pang, J., & van de Pol, J. (2006). Cones, foci: A mechanical framework for protocol verification. Formal Methods in System Design, 29, 1–31.

See Also
article Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM W.J. Fokkink (Wan) and J. Pang
article Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM W.J. Fokkink (Wan) and J. Pang

Publication