Composition and Abstraction

A. Valmari

Composition and Abstraction

A. Valmari

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

Translated title of the contribution	Composition and Abstraction
Original language	English
Title of host publication	Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Lecture Notes in Computer Science
Editors	F. Cassez
Publisher	Springer-Verlag
Pages	58-98
Publication status	Published - 2001
Publication type	A4 Article in conference proceedings

Publication forum classification

Publication forum level 1

Cite this

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

}