TY  - JOUR
AU  - P Ammann
AU  - Paul Black
C2  - Digital Avionics Systems Conference
DA  - 1999-10-01 00:10:00
LA  - en
PB  - Digital Avionics Systems Conference
PY  - 1999
TI  - Abstracting Formal Specifications to Generate Software Tests via Model Checking
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151677
ER  -