"Synthesis and analysis of supervisory controllers for time-abstracted ..."

Jasen Markovski (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics