![](/img/cover-not-exists.png)
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
Belardinelli, Francesco, Condurache, Rodica, Dima, CÄtÄlin, Jamroga, Wojciech, Knapik, MichalJournal:
Information and Computation
DOI:
10.1016/j.ic.2020.104552
Date:
March, 2020
File:
PDF, 1.49 MB
2020