| Original language | English |
|---|---|
| Title of host publication | IFIP WG6.1 Formal Techniques for Networked and Distributed Systems |
| Publication date | 2001 |
| Pages | 395-420 |
| Publication status | Published - 2001 |
On formal techniques in protocol engineering - example challenges
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review