Author: Jan van Katwijk
Publication Overview
Publication period start: 2001
Number of co-authors: 6
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
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.
https://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740088abs.htm