|
Search the dblp DataBase
S. J. Creese:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- S. J. Creese, A. W. Roscoe
Verifying an infinite family of inductions simultaneously using data independence and FDR. [Citation Graph (0, 0)][DBLP] FORTE, 1999, pp:437-452 [Conf]
- S. J. Creese, Joy N. Reed
Verifying End-to-End Protocols using Induction with CSP/FDR. [Citation Graph (0, 0)][DBLP] IPPS/SPDP Workshops, 1999, pp:1243-1257 [Conf]
- S. J. Creese, A. W. Roscoe
Data Independent Induction over Structured Networks. [Citation Graph (0, 0)][DBLP] PDPTA, 2000, pp:- [Conf]
- S. J. Creese, A. W. Roscoe
Formal Verification of Arbitrary Network Topologies. [Citation Graph (0, 0)][DBLP] PDPTA, 1999, pp:1033-1039 [Conf]
Search in 0.001secs, Finished in 0.001secs
|