Coalgebraic Announcement Logics (bibtex)
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:
@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>.},
}
Powered by bibtexbrowser