CIF 3: Model-based engineering of supervisory controllers

D.A. van Beek, W.J. Fokkink, Dennis Hendriks, A. Hofkamp, J. Markovski, J.M. van de Mortel-Fronczak, M.A. Reniers

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)575-580
JournalLecture Notes in Computer Science
Volume8413
Issue number8413
DOIs
Publication statusPublished - 2014

Bibliographical note

Proceedings title: Proc. 20th Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'14
Publisher: Springer

Cite this