Biblio

Export 2 results:
Filters: Author is Nevin Heintze  [Clear All Filters]
1996
Heintze N, Tygar J.D., Wing J, Wong H.C.  1996.  Model Checking Electronic Commerce Protocols. 2nd USENIX Workshop on Electronic Commerce (EC 96).
Heintze N.  1996.  Scalable Document Fingerprinting. 2nd USENIX Workshop on Electronic Commerce (EC 96).