Biblio

Export 2 results:
Sort by: Author Keyword Title Type [ Year  (Asc)]
Filters: Author is Meseguer, J.  [Clear All Filters]
1998
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
2000