High-level Message Sequence Charts

S. Mauw, M.A. Reniers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationSDL'97: Time for Testing - SDL, MSC and Trends (Proceedings 8th International SDL Forum, Evry, France, September 23-29, 1997)
EditorsA. Cavalli, A. Sarma
PublisherElsevier
Pages291-306
Publication statusPublished - 1997

Cite this