Sciweavers

15 search results - page 1 / 3
» logcom 2002
Sort
View
LOGCOM
2002
72views more  LOGCOM 2002»
15 years 1 months ago
Foundations of Cryptography: Basic Tools
Richard E. Overill
72
Voted
LOGCOM
2002
68views more  LOGCOM 2002»
15 years 1 months ago
µ-Calculus with Explicit Points and Approximations
Mads Dam, Dilian Gurov
81
Voted
LOGCOM
2002
52views more  LOGCOM 2002»
15 years 1 months ago
Verifying Concurrent Systems with Symbolic Execution
Michael Balser, Christoph Duelli, Wolfgang Reif, G...