TY  - CONF

T1  - Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

JO  - RelMiCS

PY  - 2004/01/01

AU  - 

ED  - Berghammer R

ED  - Möller B

ED  - Struth G

PB  - Springer

VL  - 3051

Y2  - 2024/12/25

ER  -