@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 2024/12/25}}}