Simulations and Bisimulations For Coalgebraic Modal Logics (bibtex)

by Daniel Gorín and Lutz Schröder

Reference:

Daniel Gorín and Lutz Schröder: Simulations and Bisimulations For Coalgebraic Modal Logics, In Reiko Heckel, Stefan Milius, eds.: Proc. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, Lect. Notes Comput. Sci., vol. 8089, pp. 253–266, Springer, 2013. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40206-7_19.

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{GorinSchroder13,
 author = {Daniel Gor{\'i}n and Lutz Schr{\"o}der},
  title = {Simulations and Bisimulations For Coalgebraic Modal Logics},
  booktitle = {Proc. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013},
  editor = {Reiko Heckel and Stefan Milius},
  series = {Lect. Notes Comput. Sci.},
  publisher = {Springer},
  volume    = {8089},
  doi        = {10.1007/978-3-642-40206-7_19},
  year = {2013},
  pages     = {253-266},
  url = {http://arxiv.org/pdf/1303.2467},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-40206-7_19">http://dx.doi.org/10.1007/978-3-642-40206-7_19</a>.},
}