Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
edited by Wendy MacCaull, Michael Winter, Ivo Düntsch.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
v.: digital
Serie: Lecture Notes in Computer Science, ISSN 0302-9743 ; 3929
ISBN: 9783540333401