Partial-order reduction for synthesis and performance analysis of supervisory controllers

Onderzoeksoutput: Boek/rapportRapportAcademic

Originele taal-2Engels
StatusGepubliceerd - 2019

Publicatie series

NaamES Reports
UitgeverijElectronic Systems, Department of Electrical Engineering, Eindhoven University of Technology
Nr.ESR-2019-02

Citeer dit