L. J. G. Bun

	1998
2		K. Brink, L. J. G. Bun, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel: Automatic Analysis of Embedded Systems Specified in Astral. HICSS (3) 1998: 177-186
	1995
1		K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel: Hybrid specification of control systems. ICECCS 1995: 149-

Coauthor Index

1	K. Brink	[1] [2]
2	Jan van Katwijk	[1] [2]
3	R. F. Lutje Spelberg	[2]
4	Hans Toetenel (W. J. Toetenel)	[1] [2]