On Communication Models When Verifying Equivalence Properties.

Kushal Babel Vincent Cheval Steve Kremer

Published in: POST (2017)

Keyphrases

statistical models
process model
database
computer vision
information systems
decision making
computer networks
classification models
communication cost
accurate models