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]
@inproceedings{JamrogaKK18,
title = {Model Checking the SELENE E-Voting Protocol in Multi-agent Logics},
author = {Wojciech Jamroga and Michal Knapik and Damian Kurpiewski},
year = {2018},
doi = {10.1007/978-3-030-00419-4_7},
url = {https://doi.org/10.1007/978-3-030-00419-4_7},
researchr = {https://researchr.org/publication/JamrogaKK18},
cites = {0},
citedby = {0},
pages = {100-116},
booktitle = {Electronic Voting - Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
editor = {Robert Krimmer and Melanie Volkamer and Véronique Cortier and Rajeev Goré and Manik Hapsara and Uwe Serdült and David Duenas-Cid},
volume = {11143},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-00419-4},
}