TY  - RPRT
TI  - Specifying the behavior of concurrent systems
AU  - Furtek, F. C.
PY  - 1984
UR  - https://ntrs.nasa.gov/citations/19840023887
ID  - 19840023887
ER  -