default search action
BibTeX record conf/stacs/HussakT20
@inproceedings{DBLP:conf/stacs/HussakT20,
author = {Walter Hussak and
Amitabh Trehan},
editor = {Christophe Paul and
Markus Bl{\"{a}}ser},
title = {On the Termination of Flooding},
booktitle = {37th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2020, March 10-13, 2020, Montpellier, France},
series = {LIPIcs},
volume = {154},
pages = {17:1--17:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.STACS.2020.17},
doi = {10.4230/LIPICS.STACS.2020.17},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/HussakT20.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.