by Facundo Carreiro, Daniel Gorín and Lutz Schröder
Reference:
Facundo Carreiro, Daniel Gorín and Lutz Schröder: Coalgebraic Announcement Logics, In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg, eds.: Proc. 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, Lect. Notes Comput. Sci., vol. 7966, pp. 101–112, Springer, 2013. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-39212-2_12.
Bibtex Entry:
@string{springer="Springer"}
@InProceedings{CarreiroEA13,
author = {Facundo Carreiro and Daniel Gor{\'i}n and Lutz Schr{\"o}der},
title = {Coalgebraic Announcement Logics},
booktitle = {Proc. 40th International Colloquium on Automata, Languages and Programming, ICALP 2013},
series = {Lect. Notes Comput. Sci.},
publisher = {Springer},
pages = {101-112},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
volume = {7966},
year = {2013},
url = {http://www8.cs.fau.de/_media/research:papers<:icalp13.pdf},
doi = {10.1007/978-3-642-39212-2_12},
comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-39212-2_12">http://dx.doi.org/10.1007/978-3-642-39212-2_12</a>.},
}