Martin Grimeland

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE Peter Csaba Ölveczky, Martin Grimeland: Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. IPDPS 2007: 1-8

2007
1	EE	Peter Csaba Ölveczky, Martin Grimeland: Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. IPDPS 2007: 1-8

Coauthor Index