Automated proof for equivalence of telephone systems.

Jun Sakoh Noriaki Yoshimasa Yoshinobu Kawabe

Published in: ICIS (2013)

Keyphrases

management system
real time
data sets
theorem prover
information systems
clustering algorithm
bayesian networks
natural language
multi agent systems
email
distributed systems
computer systems
complex systems
semi automated