Bibtex de la publication

@InProceedings{ Lo2018.6,
author = {Lorini, Emiliano},
title = "{Concurrent Game Structures for Temporal STIT Logic (regular paper)}",
booktitle = "{International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Stockholm, 11/07/2018-13/07/2018}",
year = {2018},
to_appear = {to appear},
publisher = {ACM},
address = {http://www.acm.org/},
pages = {},
language = {anglais}
}