| Original language | English |
|---|---|
| Place of Publication | Amsterdam |
| Publisher | Centrum voor Wiskunde en Informatica |
| Number of pages | 20 |
| Publication status | Published - 1990 |
Publication series
| Name | CWI report. CS-R |
|---|---|
| Volume | 9015 |
| ISSN (Print) | 0169-118X |
Specification and verification of real time systems in ACP
Research output: Book/Report › Report › Academic