Simulations and Bisimulations For Coalgebraic Modal Logics (bibtex)
by Daniel Gorín, Lutz Schröder
Reference:
Simulations and Bisimulations For Coalgebraic Modal Logics (Daniel Gorín, Lutz Schröder), In Proc. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (Reiko Heckel, Stefan Milius, eds.), Lect. Notes Comput. Sci., vol. 8089, pp. 253–266, Springer, 2013.
Bibtex Entry:
@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},
}
Powered by bibtexbrowser