| Original language | English |
|---|---|
| Title of host publication | host publication |
| Publication status | Published - 2004 |
Model Checking a Security Protocol
Cornelia Inggs, Howard Barringer, Aleksander Nenadic, Ning Zhang
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review