@string{springer="Springer"}
@inproceedings{DBLP:conf/cmcs/ForsterSWBGM24,
  author       = {Jonas Forster and
                  Lutz Schr{\"{o}}der and
                  Paul Wild and
                  Harsh Beohar and
                  Sebastian Gurke and
                  Karla Messing},
  editor       = {Barbara K{\"{o}}nig and
                  Henning Urbat},
  title        = {Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras},
  booktitle    = {Coalgebraic Methods in Computer Science - 17th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2024, Colocated with {ETAPS} 2024, Luxembourg City,
                  Luxembourg, April 6-7, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14617},
  pages        = {114--134},
  publisher    = {Springer},
  year         = {2024},
  nourl          = {https://doi.org/10.1007/978-3-031-66438-0\_6},
  doi          = {10.1007/978-3-031-66438-0\_6},
  timestamp    = {Sun, 08 Sep 2024 16:06:15 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/ForsterSWBGM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}