default search action
BibTeX record conf/seams/BuckworthAKU23
@inproceedings{DBLP:conf/seams/BuckworthAKU23, author = {Titus Buckworth and Dalal Alrajeh and Jeff Kramer and Sebasti{\'{a}}n Uchitel}, title = {Adapting Specifications for Reactive Controllers}, booktitle = {18th {IEEE/ACM} Symposium on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2023, Melbourne, Australia, May 15-16, 2023}, pages = {1--12}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/SEAMS59076.2023.00012}, doi = {10.1109/SEAMS59076.2023.00012}, timestamp = {Tue, 18 Jul 2023 16:25:40 +0200}, biburl = {https://dblp.org/rec/conf/seams/BuckworthAKU23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.