| 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
- No publication forum level