TY  - SER
AU  - Heymann, Michael [and other]
TI  - Discrete-event control of nondeterministic systems
KW  - AUTOMATIC CONTROL
KW  - CONTROL SYSTEMS
ER  -