Author: Jan van Katwijk

Jan van Katwijk

Jan van Katwijk

Publications

Publication period start: 1998
Publication period end: 2001
Number of co-authors: 6

Co-authors

Number of publications with favourite co-authors
W. J. Toetenel
1
Hans Toetenel
1
Ella E. Roubtsova
1

Productive Colleagues

Most productive colleagues in number of publications
Hans Toetenel
2
R. F. Lutje Spelberg
3
Ella E. Roubtsova
6

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. http://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390177abs.htm

Toetenel, Hans, Roubtsova, Ella E., Katwijk, Jan van (2001): A Timed Automata Semantics for Real-Time UML Specifications. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 88-95. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740088abs.htm