AI

Ivanova D.; Batchkova, I.; Frey, G., Velev, K.: Verification of Formal Control Models for Vacuum Creation at the EBMR Plant. Proceedings of the International Conference Automatics and Informatics, ISSN: 1313-1850, Sep. 2009.