BibTeX record conf/cmcs/0001MS20

• > Home > conf/cmcs/0001MS20

@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},
  url          = {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}
}