Specification and analysis of concurrent systems : the COSY approach /
57
| Auteurs principaux: | , |
|---|---|
| Format: | |
| Publié: |
Berlin : Springer-Verlag,
1992
|
| Sujets: |
| Résumé: | 57 |
|---|
57
| Auteurs principaux: | , |
|---|---|
| Format: | |
| Publié: |
Berlin : Springer-Verlag,
1992
|
| Sujets: |
| Résumé: | 57 |
|---|