Composition and Abstraction

A. Valmari

Composition and Abstraction

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

A. Valmari

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Julkaisun otsikon käännös	Composition and Abstraction
Alkuperäiskieli	Englanti
Otsikko	Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Lecture Notes in Computer Science
Toimittajat	F. Cassez
Kustantaja	Springer-Verlag
Sivut	58-98
Tila	Julkaistu - 2001
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso

Jufo-taso 1

Siteeraa tätä

@inproceedings{ef711293c87d422d93f0aaf0fd475324,

title = "Composition and Abstraction",

author = "A. Valmari",

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

year = "2001",

language = "English",

pages = "58--98",

editor = "F. Cassez",

booktitle = "Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Lecture Notes in Computer Science",

publisher = "Springer-Verlag",

}