Model properties for efficient synthesis of nonblocking modular supervisors

Research output: Book/ReportReportAcademic

Original languageEnglish
PublisherarXiv.org
Publication statusPublished - 2020

Cite this