K. Brink

	1998
6		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
	1997
5		K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel: Analyzing Schedulability of Astral Specifications using Extended Timed Automata. Euro-Par 1997: 1290-1297
4		K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel: Experiences with analysis of formal specifications in Astral. RTCSA 1997: 143-
	1996
3		K. Brink, Jan van Katwijk, W. J. Toetenel: Ada 95 as implementation vehicle for formal specifications. RTCSA 1996: 98-105
	1995
2		K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel: Hybrid specification of control systems. ICECCS 1995: 149-
	1993
1		K. Brink, Ronald Huijsman, Jan van Katwijk: SEAL A simple language for prototyping action-event specifications. Microprocessing and Microprogramming 38(1-5): 87-95 (1993)

Coauthor Index

1	L. J. G. Bun	[2] [6]
2	Ronald Huijsman	[1]
3	Jan van Katwijk	[1] [2] [3] [4] [5] [6]
4	R. F. Lutje Spelberg	[4] [5] [6]
5	Hans Toetenel (W. J. Toetenel)	[2] [3] [4] [5] [6]

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