Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Goce Trajcevski; Oliviu Ghica; René Schubotz; Marco Zuniga; Manfred Hauswirth; Peter Scheuermann
Technical Report, Northwestern University, Northwestern University Technical Reports, Vol. NWU-EECS-09-18, 2009.
Christoph Lüth
In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems …
Wolfgang Maaß; Tobias Kowatsch
In: The 4th Mediterranean Conference on Information Systems, MCIS 2009, Athens University of Economics and Business, AUEB, Athens, Greece, 25-27 …
Wolfgang Maaß
Springer-Verlag, 2009.
Tobias Kowatsch; Wolfgang Maaß; Elgar Fleisch