| |
| 1998 | ||
|---|---|---|
| 2 | EE | 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 | EE | K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel: Hybrid specification of control systems. ICECCS 1995: 149- |
| 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] |