Lutz Schröder, Till Mossakowski. Coalgebraic Modal Logic in CoCasl. In José Luiz Fiadeiro, Pierre Yves Schobbens, editors, Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Volume 4409 of Lecture Notes in Computer Science, pages 127-141, Springer, 2006. [doi]
Abstract is missing.