ISSE

Search

Interactive Verification of Statecharts

A. Thums and M. Balser

Interactive Verification of Statecharts

published 2002 in: Grenoble, France Integration of Software Specification Techniques (INT'02), Technical Report 2002-11, University of Augsburg


Downloads: