"Erweiterte Message Sequence Charts für die Verifikation von ..."

Jochen Klose (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics