Details for the publication EshuisJW02.

Rik Eshuis, David N. Jansen (), Roel J. Wieringa: Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. In Requir. Eng. 7(4):243-263, 2002. DOI BIB