@article{1448421,
      note = {International conference proceedings.},
      author = {Hansen, Helle Hvid, and Zanasi, Fabio,},
      url = {http://library.usi.edu/record/1448421},
      title = {Coalgebraic methods in computer science : 16th IFIP WG 1.3  international workshop, CMCS 2022, colocated with ETAPS  2022, Munich, Germany, April 2-3, 2022 : proceedings /.  Workshop on Coalgebraic Methods in Computer Science},
      abstract = {This book constitutes the thoroughly refereed  post-conference proceedings of the 16th International  Workshop on Coalgebraic Methods in Computer Science, CMCS  2022, colocated with ETAPS 2022, held in Munich, Germany,  in April 2022. The 9 revised full papers were carefully  reviewed and selected from 12 submissions. The papers cover  a wide range of topics in the theory, logics, and  applications of coalgebras.},
      doi = {https://doi.org/10.1007/978-3-031-10736-8},
      recid = {1448421},
      pages = {1 online resource (xvii, 195 pages) :},
}