Inproceedings,
Hybrid controller synthesis for the IoT.
A. Gatouillat, Y. Badr, and B. Massot.SAC, page 783-790. ACM, (2018)
Meta data
- BibTeX key
- conf/sac/GatouillatBM18
- entry type
- inproceedings
- booktitle
- SAC
- year
- 2018
- pages
- 783-790
- publisher
- ACM
- crossref
- conf/sac/2018
- ee
- https://doi.org/10.1145/3167132.3167219
- url
- http://dblp.uni-trier.de/db/conf/sac/sac2018.html#GatouillatBM18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sac/GatouillatBM18
%A Gatouillat, Arthur
%A Badr, Youakim
%A Massot, Bertrand
%B SAC
%D 2018
%E Haddad, Hisham M.
%E Wainwright, Roger L.
%E Chbeir, Richard
%I ACM
%K dblp
%P 783-790
%T Hybrid controller synthesis for the IoT.
%U http://dblp.uni-trier.de/db/conf/sac/sac2018.html#GatouillatBM18
@inproceedings{conf/sac/GatouillatBM18,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Gatouillat, Arthur and Badr, Youakim and Massot, Bertrand},
biburl = {https://www.bibsonomy.org/bibtex/217d8976857effdf1e116e381c83896ff/dblp},
booktitle = {SAC},
crossref = {conf/sac/2018},
editor = {Haddad, Hisham M. and Wainwright, Roger L. and Chbeir, Richard},
ee = {https://doi.org/10.1145/3167132.3167219},
interhash = {d67b4975aefe84fc45a0034051fd5d4e},
intrahash = {17d8976857effdf1e116e381c83896ff},
keywords = {dblp},
pages = {783-790},
publisher = {ACM},
timestamp = {2024-04-10T21:19:42.000+0200},
title = {Hybrid controller synthesis for the IoT.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac2018.html#GatouillatBM18},
year = 2018
}