TY  - JOUR
AU  - Vadim Okun
AU  - Paul Black
AU  - Yelena Yesha
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  -