Specification and analysis of concurrent systems : the COSY approach /
57
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1992
|
| Subjects: |
57
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1992
|
| Subjects: |