@inproceedings{inproceedings, title = {{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}}, publisher = {{Springer}}, url = {{}}, year = {{2004}}, month = {{1}}, author = {{}}, volume = {{3051}}, journal = {{RelMiCS}}, note = {{Accessed on 2024/12/25}}}