%0 Conference Paper %1 conf/sefm/CoentSC20 %A Coënt, Adrien Le %A Sandretto, Julien Alexandre Dit %A Chapoutot, Alexandre %B SEFM %D 2020 %E Cleophas, Loek %E Massink, Mieke %I Springer %K dblp %P 318-333 %T Cosimulation-Based Control Synthesis. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2020w.html#CoentSC20 %V 12524 %@ 978-3-030-67220-1

@inproceedings{conf/sefm/CoentSC20, added-at = {2021-01-26T00:00:00.000+0100}, author = {Coënt, Adrien Le and Sandretto, Julien Alexandre Dit and Chapoutot, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/2c4565ab1e83877342d1d2050b4e7546c/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2020w}, editor = {Cleophas, Loek and Massink, Mieke}, ee = {https://doi.org/10.1007/978-3-030-67220-1_24}, interhash = {2a7540f51f4b91622f62621c85d6b302}, intrahash = {c4565ab1e83877342d1d2050b4e7546c}, isbn = {978-3-030-67220-1}, keywords = {dblp}, pages = {318-333}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:00.000+0200}, title = {Cosimulation-Based Control Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2020w.html#CoentSC20}, volume = 12524, year = 2020 }