Composition and Abstraction

Julkaisun otsikon käännös: Composition and Abstraction

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Julkaisun otsikon käännös	Composition and Abstraction
Alkuperäiskieli	Englanti
Otsikko	MOdelling and VErification of Parallel processes. MOVEP'2k, 19-23 June 2000, Nantes
Toimittajat	F. Cassez
Sivut	3-32
Tila	Julkaistu - 2000
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso

@inproceedings{49733f9bdd7f4433b4b44489986ebd68,

title = "Composition and Abstraction",

author = "A. Valmari",

note = "tutorial<br/>Contribution: organisation=ohj,FACT1=1",

year = "2000",

language = "English",

pages = "3--32",

editor = "F. Cassez",

booktitle = "MOdelling and VErification of Parallel processes. MOVEP'2k, 19-23 June 2000, Nantes",

}