SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).
Bernd BeckerAndreas PodelskiWerner DammMartin FränzleErnst-Rüdiger OlderogReinhard WilhelmPublished in: it Inf. Technol. (2007)