@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/22}}}