university website Publications by Year
  • sign in
  • Software Analysis and Transformation /
  • Formal Methods in System Design /
  • Article
  • Search

W.J. Fokkink (Wan), J. Pang and J.C. van de Pol (Jaco)

2006

Cones, foci: A mechanical framework for protocol verification

Publication

Publication

Formal Methods in System Design , Volume 29 p. 1- 31

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

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close