Leonard Lensink

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen: Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. FMICS 2007: 115-132

2007
1	EE	Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen: Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. FMICS 2007: 115-132

Coauthor Index

1	Marko C. J. D. van Eekelen	[1]
2	Sjaak Smetsers (J. E. W. Smetsers)	[1]