@inproceedings{inproceedings, title = {{Modal Kleene algebra and partial correctness}}, url = {{}}, year = {{2004}}, month = {{1}}, author = {{Moller B and Struth G}}, volume = {{3116}}, journal = {{ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS}}, pages = {{379-393}}, note = {{Accessed on 2025/03/14}}}