Search results
Lecture Notes in Computer Science > Principles of Distributed Systems > Session 6: Security and Verification > 275-290
Theoretical Computer Science > 2007 > 376 > 3 > 185-204
Electronic Notes in Theoretical Computer Science > 2004 > 97 > Complete > 259-276
Formal Methods in System Design > 2002 > 20 > 1 > 47-68
Formal Methods in System Design > 1999 > 14 > 2 > 213-228