R. F. Lutje Spelberg

Author: R. F. Lutje Spelberg

Publications

Publication period start: 1998
Number of co-authors: 7

Co-authors

Number of publications with favourite co-authors
L. J. G. Bun
1
Jan van Katwijk
1
W. J. Toetenel
2

Productive Colleagues

Most productive colleagues in number of publications
Hans Toetenel
2
Jan van Katwijk
2
W. J. Toetenel
2

Publications

Bandini, G., Spelberg, R. F. Lutje, Rooij, Ruud C. M. de, Toetenel, Hans (2001): Application of Parametric Model Checking - The Root Contention Protocol. In: HICSS 2001 , 2001, . https://csdl.computer.org/comp/proceedings/hicss/2001/0981/09/09819070abs.htm

Brink, K., Bun, L. J. G., Katwijk, Jan van, Spelberg, R. F. Lutje, Toetenel, W. J. (1998): Automatic Analysis of Embedded Systems Specified in Astral. In: HICSS 1998 , 1998, . pp. 177-186. https://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390177abs.htm

Spelberg, R. F. Lutje, Toetenel, W. J. (2002): Splitting Trees and Partition Refinement in Real-Time Model Checking. In: HICSS 2002 , 2002, . pp. 278. https://csdl.computer.org/comp/proceedings/hicss/2002/1435/09/14350278abs.htm