Bücher
Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (Eds.)
Graph Transformations and Model-Driven Engineering
Lecture Notes in Computer Science 5765, Springer-Verlag, November 2010 (ISBN 978-3-642-17321-9)
2010[02] UBICO
Frank Simon, Olaf Seng, Thomas Mohaupt
Code Quality Management.
Technische Qualität industrieller Softwaresysteme transparent und vergleichbar gemacht
Mai 2006, 357 Seiten, dpunkt.Verlag, ISBN-13: 978-389864-388-7
HA 06-005 / 2006[04]
Dirk Beyer
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Mensch & Buch Verlag, Berlin, ISBN 3-89820-450-2, 2002. Zugl. Dissertation, Brandenburgische Technische Universität Cottbus, 2002.
2002[01] UBICO
Jürgen Ebert, Claus Lewerentz (Hrsg.)
Proceedings of the 8th Conference on Software Engineering Environments (SEE'97)
Cottbus, April 1997, 174 pp, IEEE Computer Society Press, Los Alamitos, California, 1997, ISBN 0-8186-8019-9
HA 97-016 / 1997[01]
Claus Lewerentz, Thomas Lindner (Eds.)
Formal Development of Reactive Systems. Case Study Production Cell
LNCS 891, Springer-Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-58867-1
HA 95-017,024 / 1995[03]