Home › Biblio

Biblio

Export 2 results:
Sort by: Author Keyword Title Type [ Year (Desc)]
Filters: Author is Meseguer, J.  [Clear All Filters]
2000
Ehrich, H. - D., U. Goltz, J. Meseguer, A. Pnueli, and (eds), Speci cation of Distributed Information Systems. Dagstuhl Seminar 00081 Report, , Schloss Dagstuhl, IBFI GmbH, 2000.  Download: 2000DagstuhlSemina00081.pdf (187.18 KB)
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