Author: Rik Eshuis

Rik Eshuis

Rik Eshuis

Publications

Publication period start: 2002
Publication period end: 2002
Number of co-authors: 2

Co-authors

Number of publications with favourite co-authors
David N. Jansen
1
Roel Wieringa
1

Productive Colleagues

Most productive colleagues in number of publications
David N. Jansen
1
Roel Wieringa
23

Publications

Eshuis, Rik, Jansen, David N., Wieringa, Roel (2002): Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. In Requir. Eng., 7 (4) pp. 243-263. http://dx.doi.org/10.1007/s007660200019