Specification and verification of concurrent systems /
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
London : Springer-Verlag,
1990
|
| Subjects: |
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
London : Springer-Verlag,
1990
|
| Subjects: |