Login / Signup
New Constructions of Mechanisms with Verification.
Vincenzo Auletta
Roberto De Prisco
Paolo Penna
Giuseppe Persiano
Carmine Ventre
Published in:
ICALP (1) (2006)
Keyphrases
</>
model checking
formal verification
face verification
neural network
image processing
multiresolution
formal methods
data sets
three dimensional
data structure
digital libraries
building blocks