TY  - JOUR

T1  - Calculating upward and downward simulations of state-based specifications

JO  - INFORM SOFTWARE TECH

PY  - 1999/09/15

AU  - Derrick J

AU  - Boiten E

ED  - 

VL  - 41

IS  - 13

SP  - 917

EP  - 923

Y2  - 2025/04/27

ER  -