TY  - RPRT
TI  - A specification-based approach to concurrent structure verification in multiprocessor systems
AU  - Fuchs, W. Kent
PY  - 1986
UR  - https://ntrs.nasa.gov/citations/19870047433
ID  - 19870047433
ER  -