@phdthesis{Sch2001,
Author = {Schlör, Rainer},
Title = {Timing Diagrams: A Visual Formalism for Model Verification},

Year = {2001},
Month = {01},
type = {phdthesis}
}
@COMMENT{Bibtex file generated on }