Operational semantics for MSC'96

S. Mauw, M.A. Reniers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Original languageEnglish
Title of host publicationTutorials of the Eighth SDL Forum (SDL'97: Time for Testing - SDL, MSC and trends
EditorsA. Cavalli, D. Vincent
Place of PublicationEvry, France
PublisherInstitut National des Télécommunications
Publication statusPublished - 1997

Cite this