ScienceStanford

Automated Analysis of Cryptographic Protocols Using Mur '

John Ulrich, ScienceStanford, UniversityStanford, 1997 .

Temporal Proof Methodologiesfor Timed Transition Systems 1

ScienceStanford, UniversityStanford, A. Thomas, 1994 .

Network Decomposition andLocality in Distributed Computation ( Extended Abstract )

Baruch Awerbuch, ScienceStanford, UniversityStanford, 1989 .