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]
Abstract is missing.