Automatic verification of epistemic specifications under convergent equational theories (2012)

First Author: Boureanu I.
Attributed to:  Verification of security protocols: a multi-agent systems approach funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Volume: 2

Parent Publication: 11th International Conference on Autonomous Agents and Multiagent Systems 2012, AAMAS 2012: Innovative Applications Track