@inproceedings{inproceedings, title = {{Modal semirings revisited}}, url = {{}}, year = {{2008}}, month = {{1}}, author = {{Desharnais J and Struth G}}, volume = {{5133}}, journal = {{MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS}}, pages = {{360-387}}, note = {{Accessed on 2025/04/14}}}