TY  - CONF

T1  - Kleene modules

JO  - RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE

PY  - 2003/01/01

AU  - Ehm T

AU  - Moller B

AU  - Struth G

ED  - Berghammer R

ED  - Moller B

ED  - Struth G

VL  - 3051

SP  - 112

EP  - 123

Y2  - 2024/12/25

ER  -