Interacting discrete event systems
Subtitle: modelling, verification, and supervisory control.
Published: 2002
Language: eng
Number of pages: 180