Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan. Towards Model Checking of Voting Protocols in Uppaal. In Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mikhel Solvak, editors, Electronic Voting - 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings. Volume 12455 of Lecture Notes in Computer Science, pages 129-146, Springer, 2020. [doi]
Abstract is missing.