TY  - JOUR
AU  - Okun, Vadim
AU  - Black, Paul
AU  - Yesha, Yelena
C2  - WSEAS Transactions on Systems
DA  - 2003-01-05
LA  - en
M1  - 2
PB  - WSEAS Transactions on Systems
PY  - 2003
TI  - Testing with Model Checker: Insuring Fault Visibility
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=917181
ER  -