Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs.

Tue, 01 Jan 2002 00:00:00 +0100

Fei Xie, James C. Browne:
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. FASE 2002: 64-79