%0 Journal Article %1 journals/iandc/BelardinelliCDJ21 %A Belardinelli, Francesco %A Condurache, Rodica %A Dima, Catalin %A Jamroga, Wojciech %A Knapik, Michal %D 2021 %J Inf. Comput. %K dblp %P 104552 %T Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. %U http://dblp.uni-trier.de/db/journals/iandc/iandc276.html#BelardinelliCDJ21 %V 276

@article{journals/iandc/BelardinelliCDJ21, added-at = {2023-03-21T00:00:00.000+0100}, author = {Belardinelli, Francesco and Condurache, Rodica and Dima, Catalin and Jamroga, Wojciech and Knapik, Michal}, biburl = {https://www.bibsonomy.org/bibtex/2b91c11e4ad7367b24cf75b022b60625e/dblp}, ee = {https://doi.org/10.1016/j.ic.2020.104552}, interhash = {b8eaba110f7d771188a429db543fe902}, intrahash = {b91c11e4ad7367b24cf75b022b60625e}, journal = {Inf. Comput.}, keywords = {dblp}, pages = 104552, timestamp = {2024-04-09T06:11:52.000+0200}, title = {Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc276.html#BelardinelliCDJ21}, volume = 276, year = 2021 }