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
Source
Identifiers
series ISSN : | 0302-9743 |
series e-ISSN : | 1611-3349 |
ISBN | 978-3-540-37873-0 |
e-ISBN | 978-3-540-37874-7 |
DOI | 10.1007/11828563 |