Normal view MARC view
  • Computing and Processing

Computing and Processing (Topical Term)

Number of records used in: 1
Preferred form: Computing and Processing

Machine generated authority record

Work cat.: (OSt)200549: Blanchet 83174, Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Dr. Sanjeev, Librarian
Managed by: Dr. D. P. Tripathi, Deputy Librarian, Central Library
For any query / question, please mail at circulation.liby@nitj.ac.in 

Powered by Koha