Original language | Undefined |
---|---|
Title of host publication | IFIP WG 5.2 Workshop on Formal Design Methods for CAD |
Place of Publication | Tallinn, Estonia |
Pages | 3-27 |
Publication status | Published - 31 Jan 1993 |
Keywords
- METIS-119781
L.K. Alberts
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Original language | Undefined |
---|---|
Title of host publication | IFIP WG 5.2 Workshop on Formal Design Methods for CAD |
Place of Publication | Tallinn, Estonia |
Pages | 3-27 |
Publication status | Published - 31 Jan 1993 |