Publications
Martin Steffen, editors, Correctness, Concurrency and Compositionality – Festschrift for Willem-Paul de Roever, number 5930 in LNCS. Springer, 2008 2007 Jan Peleska, Helge Löding, and Tatiana Kotas. Test [...] Proceedings of the INFORMATIK 2007, Band 2, 24. - 27. September, Bremen (Germany), pages 280–286 2006 Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska. The HybridUML Profile for UML 2.0 [...] 2004. Revised Invited Papers, volume 3525 of LNCS, pages 293–320. Springer-Verlag GmbH, 2005 2004 Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska. Spezifikation von Echtzeit-Automa