Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas (bibtex)

by Barbara König, Christina Mika-Michalski and Lutz Schröder

Reference:

Barbara König, Christina Mika-Michalski and Lutz Schröder: Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas, In Daniela Petrisan, Jurriaan Rot, eds.: Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, Lecture Notes in Computer Science, vol. 12094, pp. 133–154, Springer, 2020.

Bibtex Entry:

@string{springer="Springer"}
@inproceedings{DBLP:conf/cmcs/0001MS20,
  author    = {Barbara K{\"{o}}nig and
               Christina Mika{-}Michalski and
               Lutz Schr{\"{o}}der},
  editor    = {Daniela Petrisan and
               Jurriaan Rot},
  title     = {Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing
               Formulas},
  booktitle = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
               Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
               April 25-26, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12094},
  pages     = {133--154},
  publisher = {Springer},
  year      = {2020},
  nourl       = {https://doi.org/10.1007/978-3-030-57201-3\_8},
  doi       = {10.1007/978-3-030-57201-3\_8},
  timestamp = {Sat, 25 Dec 2021 15:52:37 +0100},
  biburl    = {https://dblp.org/rec/conf/cmcs/0001MS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}