TY  - JOUR

T1  - Using Model Checking to Automatically Find Retrieve Relations

JO  - Electronic Notes in Theoretical Computer Science

PY  - 2008/01/01

AU  - Derrick J

AU  - Smith G

ED  - 

DO  - DOI: 10.1016/j.entcs.2008.02.019

VL  - 201

IS  - C

SP  - 155

EP  - 175

Y2  - 2024/12/22

ER  -