Journal article
An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems
Publication Details
Authors: | Kowalewski, S.; Stursberg, O.; Bauer, N. |
Publication year: | 2001 |
Journal: | European Journal of Control |
Pages range : | 366–381 |
Volume number: | 7 |
Issue number: | 4 |
ISSN: | 0947-3580 |
eISSN: | 1435-5671 |
DOI-Link der Erstveröffentlichung: |
