TY  - CONF

T1  - Algebras of modal operators and partial correctness

JO  - THEORETICAL COMPUTER SCIENCE

PY  - 2006/02/21

AU  - Moller B

AU  - Struth G

ED  - 

DO  - DOI: 10.1016/j.tcs.2005.09.069

VL  - 351

IS  - 2

SP  - 221

EP  - 239

Y2  - 2024/12/25

ER  -