%0 Conference Paper %1 conf/icse/BordaPKN18 %A Borda, Aimee %A Pasquale, Liliana %A Koutavas, Vasileios %A Nuseibeh, Bashar %B SEAMS@ICSE %D 2018 %E Andersson, Jesper %E Weyns, Danny %I ACM %K dblp %P 1-11 %T Compositional verification of self-adaptive cyber-physical systems. %U http://dblp.uni-trier.de/db/conf/icse/seams2018.html#BordaPKN18

@inproceedings{conf/icse/BordaPKN18, added-at = {2021-08-10T00:00:00.000+0200}, author = {Borda, Aimee and Pasquale, Liliana and Koutavas, Vasileios and Nuseibeh, Bashar}, biburl = {https://www.bibsonomy.org/bibtex/24e51aa422a4f1cf6521f7655e0c6b983/dblp}, booktitle = {SEAMS@ICSE}, crossref = {conf/icse/2018seams}, editor = {Andersson, Jesper and Weyns, Danny}, ee = {https://ieeexplore.ieee.org/document/8595374}, interhash = {3db904708003bfb66b4e09aaf77e55c2}, intrahash = {4e51aa422a4f1cf6521f7655e0c6b983}, keywords = {dblp}, pages = {1-11}, publisher = {ACM}, timestamp = {2024-04-10T04:24:19.000+0200}, title = {Compositional verification of self-adaptive cyber-physical systems.}, url = {http://dblp.uni-trier.de/db/conf/icse/seams2018.html#BordaPKN18}, year = 2018 }