C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Reasoning About Threads Communicating via Locks.
Vineet Kahlon
Franjo Ivancic
Aarti Gupta
Published in:
CAV (2005)
Keyphrases
</>
concurrency control
spatial reasoning
communication channels
qualitative reasoning
multi threaded
real time
neural network
genetic algorithm
knowledge base
three dimensional
multi agent
probabilistic knowledge
practical reasoning