Journal article
The Batch-Evaporator: A Benchmark Example for Safety Analysis of Processing Systems under Logic Control.
Publication Details
Authors: | Kowalewski, S.; Stursberg, O. |
Publication year: | 1998 |
Journal: | 4th Int. Workshop on Discrete Event Systems |
Pages range : | 302–307 |
