TY  - CONF

T1  - Termination in modal Kleene algebra

JO  - EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS

PY  - 2004/01/01

AU  - Desharnais J

AU  - Moller B

AU  - Struth G

ED  - Levy JJ

ED  - Mayr EW

ED  - Mitchell JC

VL  - 155

SP  - 647

EP  - 660

Y2  - 2024/12/22

ER  -