External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking the SELENE E-Voting Protocol in Multi-agent Logics

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski. Model Checking the SELENE E-Voting Protocol in Multi-agent Logics. In Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid, editors, Electronic Voting - Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings. Volume 11143 of Lecture Notes in Computer Science, pages 100-116, Springer, 2018. [doi]

Authors

Wojciech Jamroga

This author has not been identified. Look up 'Wojciech Jamroga' in Google

Michal Knapik

This author has not been identified. Look up 'Michal Knapik' in Google

Damian Kurpiewski

This author has not been identified. Look up 'Damian Kurpiewski' in Google
runs on