Publikation
Daniel Hausmann; Till Mossakowski; Lutz Schröder
In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-2005), September 3-6, Swansea, United Kingdom, Pages 232-246, Lecture Notes in Computer Science (LNCS), Vol. 3629, ISBN 3-540-28620-9, Springer, Berlin, 2005.