Peter Fennema

	1999
1		Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen: Model Checking for Managers. SPIN 1999: 92-107

Coauthor Index

1	Wil Janssen	[1]
2	Radu Mateescu	[1]
3	Sjouke Mauw	[1]
4	Petra van der Stappen	[1]