A Concurrency Case Study Using RAISE

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of FME'93: Industrial Strength Formal Methods
Publisher	Springer Verlag
Publication date	1993
Publication status	Published - 1993
Event	First International Symposium of Formal Methods Europe - Odense, Denmark Duration: 19 Apr 1993 → 23 Apr 1993

Conference	First International Symposium of Formal Methods Europe
Country/Territory	Denmark
City	Odense
Period	19/04/1993 → 23/04/1993

OpenUrl availability

@inproceedings{f08085b0869e4a61b1c1f6c55d10243a,

title = "A Concurrency Case Study Using RAISE",

author = "Haxthausen, {Anne Elisabeth} and George, {C. W.}",

year = "1993",

language = "English",

booktitle = "Proceedings of FME'93: Industrial Strength Formal Methods",

publisher = "Springer Verlag",

address = "Germany",

note = "First International Symposium of Formal Methods Europe, FME'93 ; Conference date: 19-04-1993 Through 23-04-1993",

}