Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach.
Published: 1987
Language: eng
Number of pages: 224