TY  - RPRT
TI  - Formal mechanization of device interactions with a process algebra
AU  - Schubert, E. Thomas
AU  - Levitt, Karl
AU  - Cohen, Gerald C.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19930003159
ID  - 19930003159
ER  -