| Original language | Undefined |
|---|---|
| Title of host publication | Computer Aided Verification |
| Pages | - |
| Number of pages | 11 |
| Publication status | Published - 1991 |
Keywords
- METIS-119018
From data structures to process structure
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic