W. J. Toetenel

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1998
Publication period end
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

Spelberg, R. F. Lutje, Toetenel, W. J. (2002): Splitting Trees and Partition Refinement in Real-Time Model Checking. In: HICSS 2002 , 2002, . pp. 278. http://csdl.computer.org/comp/proceedings/hicss/2002/1435/09/14350278abs.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. http://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390177abs.htm