Author: Rik Eshuis
Publication Overview
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
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