@inproceedings{Ber2014,
Author = {Bertram Wortelen
Andreas Lüdtke
Denis Javaux
Sonja Sievi},
Title = {Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study},

Year = {2014},
Month = {9},
Booktitle = {Proc. of ECCE´14},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }