TY - CONF AU - Vadim Okun AU - Paul Black AU - Y Yesha C2 - 2002 WSEAS International Conference on System Science, Applied Mathematics & Computer Science, and Power Engineering Systems, Rio de Janeiro, -1 DA - 2002-10-23 LA - en PB - 2002 WSEAS International Conference on System Science, Applied Mathematics & Computer Science, and Power Engineering Systems, Rio de Janeiro, -1 PY - 2002 TI - Testing with Model Checkers: Insuring Fault Visibility UR - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=50790 ER -