| Original language | English |
|---|---|
| Place of Publication | Amsterdam |
| Publisher | Centrum voor Wiskunde en Informatica |
| Number of pages | 18 |
| Publication status | Published - 1998 |
Publication series
| Name | CWI Report |
|---|---|
| Volume | SEN-R9804 |
Verification of temporal properties of processes in a setting with data
J.F. Groote, R. Mateescu
Research output: Book/Report › Report › Academic
41
Citations
(Scopus)