![](/img/cover-not-exists.png)
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
Rik Eshuis, David N. Jansen, Roel WieringaVolume:
7
Language:
english
Pages:
21
DOI:
10.1007/s007660200019
Date:
December, 2002
File:
PDF, 419 KB
english, 2002