| 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
- Ei tasoa
Siteeraa tätä
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver