On formal techniques in protocol engineering - example challenges |
|
| Type | Conference paper [With referee] |
| Conference | IFIP WG6.1 Formal Techniques for Networked and Distributed Systems |
| Editors | Kluwer |
| Year | 2001 Month August pp. 395-420 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |