![]() | ![]() |
2000 | ||
---|---|---|
4 | S. J. Creese, A. W. Roscoe: Data Independent Induction over Structured Networks. PDPTA 2000 | |
1999 | ||
3 | S. J. Creese, A. W. Roscoe: Verifying an infinite family of inductions simultaneously using data independence and FDR. FORTE 1999: 437-452 | |
2 | S. J. Creese, Joy N. Reed: Verifying End-to-End Protocols using Induction with CSP/FDR. IPPS/SPDP Workshops 1999: 1243-1257 | |
1 | S. J. Creese, A. W. Roscoe: Formal Verification of Arbitrary Network Topologies. PDPTA 1999: 1033-1039 |
1 | Joy N. Reed | [2] |
2 | A. W. Roscoe (A. William Roscoe, Bill Roscoe) | [1] [3] [4] |