TY  - RPRT
TI  - A mechanized process algebra for verification of device synchronization protocols
AU  - Schubert, E. Thomas
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19940017243
ID  - 19940017243
ER  -