Magdalena Kacprzak, Anna Sawicka, Katarzyna Budzynska, Marcin Dziubinski. Verifying Strategies in Dialogue Games. In Louchka Popova-Zeugmann, editor, Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014. Volume 1269 of CEUR Workshop Proceedings, pages 92-100, CEUR-WS.org, 2014. [doi]
@inproceedings{KacprzakSBD14, title = {Verifying Strategies in Dialogue Games}, author = {Magdalena Kacprzak and Anna Sawicka and Katarzyna Budzynska and Marcin Dziubinski}, year = {2014}, url = {http://ceur-ws.org/Vol-1269/paper92.pdf}, researchr = {https://researchr.org/publication/KacprzakSBD14}, cites = {0}, citedby = {0}, pages = {92-100}, booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014}, editor = {Louchka Popova-Zeugmann}, volume = {1269}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }