Verification of Relations Between Synchronous Machines.

Filip Van Aelten Jonathan Allen Srinivas Devadas

Published in: ICCAD (1991)

Keyphrases

semantic relations
model checking
database
neural network
case study
data structure
multi agent systems
data model
special case
np hard
temporal relations
signature verification
concurrent systems