9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
4136
Conference title:
Relational and Kleene-Algebraic Methods in Computer Science (9., 2006, Manchester)
Conference title:
Relations and Kleene Algebra in Computer Science 2006