@inproceedings{Eis2005,
Author = {Eissler, Stefan and Scheidler, Christian and Josko, Bernhard and Sandmann, Guido and Stroop, Joachim},
Title = {Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications},

Year = {2005},
Pages = {533-536},
Month = {07},
Editor = {Springer Verlag},
Publisher = {Springer Verlag},
Series = {Lecture Notes in Computer Science 3582 / 2005},
Isbn = {3-540-27882-6},
Booktitle = {FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-20, 2005, Proceedings},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }