@phdthesis{Klo2003,
Author = {Klose, Jochen},
Title = {Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior.},

Year = {2003},
Month = {09},
type = {phdthesis}
}
@COMMENT{Bibtex file generated on }