Specification and analysis of concurrent systems the COSY approach
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Boek |
| Taal: | Engels |
| Gepubliceerd in: |
Berlin
Springer-Verlag
c1992.
|
| Reeks: | EATCS monographs on theoretical computer science
v.26 |
| Onderwerpen: |