TY  - JOUR

T1  - Model checking downward simulations

JO  - Electronic Notes in Theoretical Computer Science

PY  - 2005/01/01

AU  - Smith G

AU  - Derrick J

ED  - 

DO  - DOI: 10.1016/j.entcs.2005.04.032

VL  - 137

IS  - 2

SP  - 205

EP  - 224

Y2  - 2024/12/22

ER  -