Operational semantics for MSC'96

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Original language	English
Title of host publication	Tutorials of the Eighth SDL Forum (SDL'97: Time for Testing - SDL, MSC and trends
Editors	A. Cavalli, D. Vincent
Place of Publication	Evry, France
Publisher	Institut National des Télécommunications
Pages	135-152
Publication status	Published - 1997

Cite this

@inproceedings{6c87d1eaba0e4876a23b0a89416e7291,

title = "Operational semantics for MSC'96",

author = "S. Mauw and M.A. Reniers",

year = "1997",

language = "English",

pages = "135--152",

editor = "A. Cavalli and D. Vincent",

booktitle = "Tutorials of the Eighth SDL Forum (SDL'97: Time for Testing - SDL, MSC and trends",

publisher = "Institut National des T{\'e}l{\'e}communications",

}