Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/amcc/LiuZ21
@inproceedings{DBLP:conf/amcc/LiuZ21, author = {Siyuan Liu and Majid Zamani}, title = {Verification of Approximate Opacity via Barrier Certificates}, booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA, May 25-28, 2021}, pages = {764--769}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.23919/ACC50511.2021.9483416}, doi = {10.23919/ACC50511.2021.9483416}, timestamp = {Tue, 20 Dec 2022 14:49:49 +0100}, biburl = {https://dblp.org/rec/conf/amcc/LiuZ21.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.