TY  - CONF

T1  - Modal Kleene algebra and partial correctness

JO  - ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS

PY  - 2004/01/01

AU  - Moller B

AU  - Struth G

ED  - Rattray C

ED  - Maharaj S

ED  - Shankland C

VL  - 3116

SP  - 379

EP  - 393

Y2  - 2024/12/22

ER  -