@inproceedings{c8f091a651cc4ba6b3c0bb6b74dff504,
title = "Computer Aided Analysis and Design of Sequential Control in Industrial Processes",
keywords = "discrete event systems, knowledge based techniques, logic reasoning, programmable logic controllers, sequential control, discrete event systems, knowledge based techniques, logic reasoning, programmable logic controllers, sequential control, discrete event systems, knowledge based techniques, logic reasoning, programmable logic controllers, sequential control",
author = "K. Zenger",
year = "1994",
language = "English",
pages = "440--449",
booktitle = "Third International Workshop on Computer Aided Systems Theory (EUROCAST '93), Las Palmas, Spain, February 22-26, 1993",
publisher = "Springer",
address = "Germany",
}