TY  - RPRT
TI  - Concurrency and discrete event control
AU  - Heymann, Michael
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19900058366
ID  - 19900058366
ER  -