@article{article, title = {{Model checking downward simulations}}, url = {{}}, year = {{2005}}, month = {{1}}, author = {{Smith G and Derrick J}}, doi = {{10.1016/j.entcs.2005.04.032}}, volume = {{137}}, journal = {{Electronic Notes in Theoretical Computer Science}}, issue = {{2}}, pages = {{205-224}}, note = {{Accessed on 2025/05/18}}}