Philippe Darondeau, Jérémy Dubreil, Hervé Marchand. Supervisory control for modal specifications of services. In Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor, editors, 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. pages 418-425, International Federation of Automatic Control, 2010. [doi]
@inproceedings{DarondeauDM10,
title = {Supervisory control for modal specifications of services},
author = {Philippe Darondeau and Jérémy Dubreil and Hervé Marchand},
year = {2010},
doi = {10.3182/20100830-3-DE-4013.00069},
url = {http://dx.doi.org/10.3182/20100830-3-DE-4013.00069},
researchr = {https://researchr.org/publication/DarondeauDM10},
cites = {0},
citedby = {0},
pages = {418-425},
booktitle = {10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010},
editor = {Jörg Raisch and Alessandro Giua and Stéphane Lafortune and Thomas Moor},
publisher = {International Federation of Automatic Control},
isbn = {978-3-902661-79-1},
}