SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).

Bernd Becker Andreas Podelski Werner Damm Martin Fränzle Ernst-Rüdiger Olderog Reinhard Wilhelm SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). 118-126 2007 49 it - Information Technology 2 http://dx.doi.org/10.1524/itit.2007.49.2.118 db/journals/it/it49.html#BeckerPDFOW07