Original language | Undefined |
---|---|
Title of host publication | 2nd Workshop on Protocol Verification |
Place of Publication | Mierlo |
Pages | - |
Number of pages | 21 |
Publication status | Published - 9 Feb 1993 |
Keywords
- METIS-119313
W.P.M. Janssen, Jakob Zwiers
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Original language | Undefined |
---|---|
Title of host publication | 2nd Workshop on Protocol Verification |
Place of Publication | Mierlo |
Pages | - |
Number of pages | 21 |
Publication status | Published - 9 Feb 1993 |