Real-Time Specification and Modelling with Joint Actions

Julkaisun otsikon käännös: Real-Time Specification and Modelling with Joint Actions

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

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen

Julkaisun otsikon käännös	Real-Time Specification and Modelling with Joint Actions
Alkuperäiskieli	Englanti
Otsikko	Proc. 6th International Workshop on Software Specifications and Design, Como, Italy, Oct. 1991
Tila	Julkaistu - 1991
OKM-julkaisutyyppi	B3 Vertaisarvioimaton artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso

@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",

}