Biblio

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