Commit f975f166 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update publications.bib

parent f8673b6e
......@@ -1846,6 +1846,7 @@ volume = {171},
pages = {31:1--31:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
month = sep,
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.31},
doi = {10.4230/LIPIcs.CONCUR.2020.31},
abstract = {We develop a theory of decidable inductive invariants for an infinite-state variant of the Applied
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment