| |
| 1993 | ||
|---|---|---|
| 3 | Wolfgang Jürgensen: IT Security Evaluation Improvement by Application of Testing. GI Jahrestagung 1993: 347-352 | |
| 1984 | ||
| 2 | Wolfgang Jürgensen, Son T. Vuong: CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. PSTV 1984: 253-277 | |
| 1 | EE | Wolfgang Jürgensen, Son T. Vuong: Formal specification and validation of ISO transport protocol components, using petri nets. Computer Communication Review 14(2): 75-82 (1984) |
| 1 | Son T. Vuong | [1] [2] |