Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior.

BIB
Klose, Jochen
09 / 2003
phdthesis