Author: W. J. Toetenel
Publication Overview
Publication period start: 2002
Number of co-authors: 4
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
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