@article{Bus2004,
Author = {Buschermöhle, Ralf and Brörkens, Mark and Brückner, Ingo and Damm, Werner and Hasselbring, Wilhelm and  Josko, Bernhard and Schulte, Christoph and Wolf, Thomas},
Title = {Model Checking - Grundlagen und Praxiserfahrungen},

Year = {2004},
Pages = {146-158},
Month = {04},
Editor = {Springer Verlag},
Publisher = {Springer Verlag},
Isbn = {0170-6012},
type = {article}
}
@COMMENT{Bibtex file generated on }