Home › Biblio

Biblio

Export 1 results:
Sort by: Author Keyword Title [ Type (Desc)] Year
Filters: Author is Talcott, C.  [Clear All Filters]
Conference Proceedings
Denker, G., J. Meseguer, and C. Talcott, "Protocol Specification and Analysis in Maude", Proc1 of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998. Abstract