Author

John Graham Thistle

2 books found

Placeholder cover for Control of infinite behaviour of discrete-event systems

Control of infinite behaviour of discrete-event systems

John Graham.* Thistle · First published 1991

Placeholder cover for Control problems in a temporal logic setting

Control problems in a temporal logic setting

John Graham Thistle · First published 1985