Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / [electronic resource] :
edited by Wendy MacCaull, Michael Winter, Ivo Duntsch.
- Berlin Heidelberg : Springer-Verlag GmbH., 2006
- viii, 262 pages : illustration, digital ; 24 cm.
- Lecture Notes in Computer Science, 3929 0302-9743 ; .