- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 1 |      | Johannes Grünbauer, H. Hollmann, Jan Jürjens, Guido Wimmel: Modelling and Verification of Layered Security Protocols: A Bank Application. SAFECOMP 2003: 116-129 |
| 1 | Johannes Grünbauer | [1] |
| 2 | Jan Jürjens | [1] |
| 3 | Guido Wimmel | [1] |