Amanote Research
Register
Sign In
Model Checking Cryptographic Protocols With Interval Temporal Logic
Journal of Convergence Information Technology
doi 10.4156/jcit.vol5.issue10.19
Full Text
Open PDF
Abstract
Available in
full text
Date
December 31, 2010
Authors
Unknown
Publisher
AICIT