Author: David N. Jansen
Publications
Publication period start: 2002
Number of co-authors: 2
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
- Rik Eshuis
- Roel Wieringa
- 1
- 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. https://dx.doi.org/10.1007/s007660200019