Coalgebraic Announcement Logics (bibtex)
by Facundo Carreiro, Daniel Gorín, Lutz Schröder
Reference:
Coalgebraic Announcement Logics (Facundo Carreiro, Daniel Gorín, Lutz Schröder), In Proc. 40th International Colloquium on Automata, Languages and Programming, ICALP 2013 (Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg, eds.), Lect. Notes Comput. Sci., vol. 7966, pp. 101–112, Springer, 2013.
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},
}
Powered by bibtexbrowser