Design decisions on data and guards in MSC2000

A.G. Engels

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

Original languageEnglish
Title of host publicationSAM 2000 (Proceedings 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000)
EditorsE. Sherratt, C. Jard, Y. Lahav
PublisherVERIMAG, IRISA, SDL Forum
Pages33-46
Publication statusPublished - 2000

Cite this