Composition and Abstraction

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	MOdelling and VErification of Parallel processes. MOVEP'2k, 19-23 June 2000, Nantes
Editors	F. Cassez
Pages	3-32
Publication status	Published - 2000
Publication type	A4 Article in conference proceedings

Publication forum classification

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

}