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]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page