| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Design, specification and verification of interactive systems |
| Editors | F. Paterno |
| Place of Publication | Italy |
| Pages | 61-83 |
| Number of pages | 23 |
| Publication status | Published - 1994 |
Research programs
- EUR ESE 14