History Effects and Verification.

Christian Skalka Scott F. Smith

Published in: APLAS (2004)

Keyphrases

control system
fingerprint verification
verification method
three dimensional
multiscale
cooperative
special case
distributed systems
model checking
asynchronous circuits
high security