"Auto-Generation of Distributed Automation Software Based on Formal Product ..."

Victor Dubinin, Ilya Senokosov, Valeriy Vyatkin (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics