Fingerprint
Dive into the research topics of 'A Typing Result for Stateful Protocols - Extended Version'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Typing Result for Stateful Protocols - Extended Version
Andreas Viktor Hess, Sebastian Alexander Mödersheim
Research output: Book/Report › Report › Research › peer-review
89
Downloads
(Pure)