TY  - RPRT
TI  - Moving formal methods into practice. Verifying the FTPP Scoreboard: Results, phase 1
AU  - Srivas, Mandayam
AU  - Bickford, Mark
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19920016883
ID  - 19920016883
ER  -