T. Mossakowski, M. Drouineaud, und K. Sohr. Proceedings of the 4th International Conference on Temporal Logic,, Seite 83-90. IEEE Computer Society Press, (2003)
K. Hoffmann, und T. Mossakowski. Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, Volume 2755 von Lecture Notes in Computer Science, Seite 253--267. Springer Verlag, London, (2003)
S. Autexier, und T. Mossakowski. Frontiers of Combining Systems, 4th International Workshop, Volume 2309 von Lecture Notes in Computer Science, Seite 2--17. Springer Verlag, London, (2002)
T. Mossakowski. Mathematical foundations of computer science, Volume 2420 von Lecture Notes in Computer Science, Seite 593--604. Springer Verlag, London, (2002)
T. Mossakowski, und B. Klin. Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, Volume 2267 von Lecture Notes in Computer Science, Seite 221--237. Springer Verlag, London, (2002)
S. Autexier, D. Hutter, T. Mossakowski, und A. Schairer. Algebraic Methodology and Software Technology, 2002, Volume 2422 von Lecture Notes in Computer Science, Seite 495--502. Springer Verlag, London, (2002)
T. Mossakowski, S. Autexier, und D. Hutter. Fundamental Approaches to Software Engineering, Volume 2029 von Lecture Notes in Computer Science, Seite 269--283. Springer Verlag, London, (2001)
T. Mossakowski, A. Haxthausen, und B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Volume 1827 von Lecture Notes in Computer Science, Springer Verlag, London, (2000)
T. Mossakowski. Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers, Volume 1589 von Lecture Notes in Computer Science, Seite 198--214. Springer Verlag, London, (1999)
T. Mossakowski. Recent trends in algebraic development techniques. Proc. 12th International Workshop, Volume 1376 von Lecture Notes in Computer Science, Seite 316--332. Springer Verlag, London, (1998)
T. Mossakowski, A. Tarlecki, und W. Pawlowski. Recent trends in algebraic development techniques. Proc. 12th International Workshop, Volume 1376 von Lecture Notes in Computer Science, Seite 349--364. Springer Verlag, London, (1998)
M. Cerioli, A. Haxthausen, B. Krieg-Brückner, und T. Mossakowski. Algebraic methodology and software technology, 6th international conference, AMAST 97, 1349, Seite 91–107. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1997)