"Automatic Synthesis of Control Software for an Industrial Automation ..."

Enrico Tronci (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics