C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Deductive Verification of Modular Systems.
Bernd Finkbeiner
Zohar Manna
Henny Sipma
Published in:
COMPOS (1997)
Keyphrases
</>
distributed systems
knowledge based systems
data mining
artificial intelligence
information systems
machine learning
similarity measure
multi agent
object oriented
computer systems
face verification
asynchronous circuits
modular neural networks