Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Christoph Lüth
In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems …
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.