Towards Transformation of Formal Descriptions into SMT Models for Modular Plant Configurations.

Michael Winter, Bowen Chen, Tobias Kleinert

Browse the full IECON paper archive.