Real-Time Specification and Modelling with Joint Actions

R. Kurki-Suonio, K. Systä, J. Vain

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

Translated title of the contribution	Real-Time Specification and Modelling with Joint Actions
Original language	English
Title of host publication	Proc. 6th International Workshop on Software Specifications and Design, Como, Italy, Oct. 1991
Publication status	Published - 1991
Publication type	B3 Article in conference proceedings

Publication forum classification

@inproceedings{a7a9ddd74aae48d6bd64d99008c58648,

title = "Real-Time Specification and Modelling with Joint Actions",

author = "R. Kurki-Suonio and K. Syst{\"a} and J. Vain",

note = "Contribution: organisation=ohj,FACT1=1",

year = "1991",

language = "English",

booktitle = "Proc. 6th International Workshop on Software Specifications and Design, Como, Italy, Oct. 1991",

}