%0 Conference Paper %1 conf/aiia/Mittelmann22 %A Mittelmann, Munyque %B OVERLAY@AI*IA %D 2022 %E Geatti, Luca %E Sciavicco, Guido %E Umbrico, Alessandro %I CEUR-WS.org %K dblp %P 21-26 %T Formally Reasoning about Strategies in Mechanisms. %U http://dblp.uni-trier.de/db/conf/aiia/overlay2022.html#Mittelmann22 %V 3311

@inproceedings{conf/aiia/Mittelmann22, added-at = {2023-03-10T00:00:00.000+0100}, author = {Mittelmann, Munyque}, biburl = {https://www.bibsonomy.org/bibtex/24642faa4a14c1702cb675186f4d96578/dblp}, booktitle = {OVERLAY@AI*IA}, crossref = {conf/aiia/2022overlay}, editor = {Geatti, Luca and Sciavicco, Guido and Umbrico, Alessandro}, ee = {https://ceur-ws.org/Vol-3311/paper4.pdf}, interhash = {4d72c5ea300bc4616fec9898d37ca00c}, intrahash = {4642faa4a14c1702cb675186f4d96578}, keywords = {dblp}, pages = {21-26}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:16:53.000+0200}, title = {Formally Reasoning about Strategies in Mechanisms.}, url = {http://dblp.uni-trier.de/db/conf/aiia/overlay2022.html#Mittelmann22}, volume = 3311, year = 2022 }