Verifying Compliance with Commitment Protocols.

Mahadevan Venkatraman Munindar P. Singh

Published in: Auton. Agents Multi Agent Syst. (1999)

Keyphrases

model checking
real world
knowledge base
communication protocol
communication protocols
real time
databases
data structure
hidden markov models
security protocols
medical practice