S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, volume 6463 of LNCS, Springer, (2010)
S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. Algebraic Methodology and Software Technology, 2002, volume 2422 of Lecture Notes in Computer Science, page 495--502. Springer Verlag, London, (2002)
D. Lücke, and T. Mossakowski. Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), volume 222 of Frontiers in Artificial Intelligence and Applications, page 175-185. IOS Press; Amsterdam; http://www.iospress.nl, (2010)
T. Mossakowski, Kolyang, and B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, 1376, page 333-348. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1998)
M. Codescu, T. Mossakowski, and C. Maeder. CALCO 2013, volume 8089 of Lecture Notes in Computer Science, page 315--321. Springer-Verlag Berlin Heidelberg, (2013)
M. Codescu, G. Horsinka, O. Kutz, T. Mossakowski, and R. Rau. Fourth International Conference on GeoSpatial Semantics, volume 6631 of Lecture Notes in Computer Science, page 88–107. Springer, (2011)
S. Goncharov, L. Schröder, and T. Mossakowski. Algebra and Coalgebra in Computer Science (CALCO 2009), volume 5728 of Lecture Notes in Computer Science, page 18-33. Springer, (2009)
F. Dylla, T. Mossakowski, T. Schneider, and D. Wolter. Proceedings of Conference On Spatial Information Theory 2013, volume 8116 of Lecture Notes in Computer Science, page 516--536. Springer-Verlag Berlin Heidelberg, (2013)