An experimental batch plant as a test case for the verification of hybrid systems

From MaRDI portal
Publication:2512157