Rustam Galimullin, Thomas Ågotnes. Coalition Logic for Specification and Verification of Smart Contract Upgrades. In Reyhan Aydogan, Natalia Criado, Jérôme Lang, Víctor Sánchez-Anguix, Marc Serramia, editors, PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings. Volume 13753 of Lecture Notes in Computer Science, pages 563-572, Springer, 2022. [doi]
@inproceedings{GalimullinA22, title = {Coalition Logic for Specification and Verification of Smart Contract Upgrades}, author = {Rustam Galimullin and Thomas Ågotnes}, year = {2022}, doi = {10.1007/978-3-031-21203-1_34}, url = {https://doi.org/10.1007/978-3-031-21203-1_34}, researchr = {https://researchr.org/publication/GalimullinA22}, cites = {0}, citedby = {0}, pages = {563-572}, booktitle = {PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings}, editor = {Reyhan Aydogan and Natalia Criado and Jérôme Lang and Víctor Sánchez-Anguix and Marc Serramia}, volume = {13753}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-21203-1}, }