SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems

BIB
Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm
Information Technology
01 / 2007
inproceedings
8