@inproceedings{Ber2007,
Author = {Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm},
Title = {SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems},

Year = {2007},
Pages = {8},
Month = {01},
Booktitle = {Information Technology},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }