Author: R. F. Lutje Spelberg
Publication Overview
Publication period start: 2002
Number of co-authors: 7
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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