A symmetry reduction technique for model checking temporal-epistemic logic (2009)

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

Abstract

No abstract provided

Bibliographic Information

Type: Other

Parent Publication: IJCAI International Joint Conference on Artificial Intelligence

ISSN: 10450823