Verification of cryptographic protocols with lists of unbounded length (bibtex)
by Miriam Paiola
Reference:
Verification of cryptographic protocols with lists of unbounded length (Miriam Paiola), PhD thesis, Université Paris VII, 2014.
Bibtex Entry:
@PhdThesis{Paiola14,
  author = 	 {Miriam Paiola},
  title = 	 {Verification of cryptographic protocols with lists of unbounded length},
  school = 	 {Universit{\'e} Paris VII},
  year = 	 2014,
  month = 	 may
}
Powered by bibtexbrowser