Back to Results
First PageMeta Content
Logic / Mathematics / Abstraction / Formal languages / Mathematical logic / Linear temporal logic / Temporal logic / Automated theorem proving / Propositional calculus / Substitution / IP / Interpretation


Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar
Add to Reading List

Document Date: 2010-07-17 01:14:12


Open Document

File Size: 306,53 KB

Share Result on Facebook