Leonard Lensink

	2008
2		Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen: Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. FMICS 2008: 85-102
	2007
1		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]
2	Bernard van Gastel	[2]
3	Sjaak Smetsers (J. E. W. Smetsers)	[1] [2]