@inproceedings{MoellerDesharnais2025,
  author    = {Bernhard M{\"o}ller and Jules Desharnais},
  title     = {Some uses of modal semirings},
  booktitle = {Recent Trends in Algebraic Development Techniques: 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, revised selected papers},
  editor    = {Ionuț Țuțu},
  pages     = {23 -- 45},
  doi       = {10.1007/978-3-031-88930-1_2},
  year      = {2025},
}