C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On the semantics of communications when verifying equivalence properties.
Kushal Babel
Vincent Cheval
Steve Kremer
Published in:
J. Comput. Secur. (2020)
Keyphrases
</>
logic programming
communication systems
database
conceptual model
semantic properties
graph properties
search engine
information systems
formal language