G. Bandini

	2001
2		G. Bandini, R. F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel: Application of Parametric Model Checking - The Root Contention Protocol. HICSS 2001
	2000
1		Hans Toetenel, R. F. Lutje Spelberg, G. Bandini: Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. RTCSA 2000: 207-214

Coauthor Index

1	Ruud C. M. de Rooij	[2]
2	R. F. Lutje Spelberg	[1] [2]
3	Hans Toetenel (W. J. Toetenel)	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page