Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tacas/tacas2024-1.bht:"
download as .bib file
@inproceedings{DBLP:conf/tacas/AkshayBCF24,
author = {S. Akshay and
Eliyahu Basa and
Supratik Chakraborty and
Dror Fried},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {On Dependent Variables in Reactive Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {123--143},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_8},
doi = {10.1007/978-3-031-57246-3\_8},
timestamp = {Sat, 08 Jun 2024 13:13:56 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AkshayBCF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BeckertSUWW24,
author = {Bernhard Beckert and
Peter Sanders and
Mattias Ulbrich and
Julian Wiesler and
Sascha Witt},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Formally Verifying an Efficient Sorter},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {268--287},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_15},
doi = {10.1007/978-3-031-57246-3\_15},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BeckertSUWW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BocchiKM24,
author = {Laura Bocchi and
Andy King and
Maurizio Murgia},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Asynchronous Subtyping by Trace Relaxation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {207--226},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_12},
doi = {10.1007/978-3-031-57246-3\_12},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BocchiKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChenCHHLS24,
author = {Yu{-}Fang Chen and
David Chocholat{\'{y}} and
Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Juraj S{\'{\i}}c},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Z3-Noodler: An Automata-based String Solver},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {24--33},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_2},
doi = {10.1007/978-3-031-57246-3\_2},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChenCHHLS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChowdhuryCH24,
author = {Md. Solimul Chowdhury and
Cayden R. Codel and
Marijn J. H. Heule},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {TaSSAT: Transfer and Share {SAT}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {34--42},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_3},
doi = {10.1007/978-3-031-57246-3\_3},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChowdhuryCH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CorrensonBDK24,
author = {Lo{\"{\i}}c Correnson and
Allan Blanchard and
Adel Djoudi and
Nikolai Kosmatov},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Automate where Automation Fails: Proof Strategies for Frama-C/WP},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {331--339},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_18},
doi = {10.1007/978-3-031-57246-3\_18},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CorrensonBDK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DacikRVZ24,
author = {Tom{\'{a}}s Dac{\'{\i}}k and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar and
Florian Zuleger},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Deciding Boolean Separation Logic via Small Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {188--206},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_11},
doi = {10.1007/978-3-031-57246-3\_11},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DacikRVZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DijkAT24,
author = {Tom van Dijk and
Feije van Abbema and
Naum Tomov},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Knor: reactive synthesis using Oink},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {103--122},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_7},
doi = {10.1007/978-3-031-57246-3\_7},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DijkAT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EhlersK24,
author = {R{\"{u}}diger Ehlers and
Ayrat Khalimov},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Fully Generalized Reactivity(1) Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {83--102},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_6},
doi = {10.1007/978-3-031-57246-3\_6},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/EhlersK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FengHBITWPB24,
author = {Nick Feng and
Alan J. Hu and
Sam Bayless and
Syed M. Iqbal and
Patrick Trentin and
Mike Whalen and
Lee Pike and
John Backes},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {{DRAT} Proofs of Unsatisfiability for {SAT} Modulo Monotonic Theories},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {3--23},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_1},
doi = {10.1007/978-3-031-57246-3\_1},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FengHBITWPB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeuleS24,
author = {Marijn J. H. Heule and
Manfred Scheucher},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Happy Ending: An Empty Hexagon in Every Set of 30 Points},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {61--80},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_5},
doi = {10.1007/978-3-031-57246-3\_5},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeuleS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HilaireIL24,
author = {Thibault Hilaire and
David Ilcinkas and
J{\'{e}}r{\^{o}}me Leroux},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {A State-of-the-Art Karp-Miller Algorithm Certified in Coq},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {370--389},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_21},
doi = {10.1007/978-3-031-57246-3\_21},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HilaireIL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KGSG24,
author = {Hari Govind V. K. and
Isabel Garcia{-}Contreras and
Sharon Shoham and
Arie Gurfinkel},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Speculative {SAT} Modulo {SAT}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {43--60},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_4},
doi = {10.1007/978-3-031-57246-3\_4},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KGSG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KabraLMP24,
author = {Aditi Kabra and
Jonathan Laurent and
Stefan Mitsch and
Andr{\'{e}} Platzer},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {{CESAR:} Control Envelope Synthesis via Angelic Refinements},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {144--164},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_9},
doi = {10.1007/978-3-031-57246-3\_9},
timestamp = {Mon, 27 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KabraLMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KarakayaSKBSLH24,
author = {Kadiray Karakaya and
Stefan Schott and
Jonas Klauke and
Eric Bodden and
Markus Schmidt and
Linghui Luo and
Dongjie He},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {SootUp: {A} Redesign of the Soot Static Analysis Framework},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {229--247},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_13},
doi = {10.1007/978-3-031-57246-3\_13},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KarakayaSKBSLH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LachnittFARBNBT24,
author = {Hanna Lachnitt and
Mathias Fleury and
Leni Aniva and
Andrew Reynolds and
Haniel Barbosa and
Andres N{\"{o}}tzli and
Clark W. Barrett and
Cesare Tinelli},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {IsaRare: Automatic Verification of {SMT} Rewrites in Isabelle/HOL},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {311--330},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_17},
doi = {10.1007/978-3-031-57246-3\_17},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LachnittFARBNBT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LimaMT24,
author = {Leonardo Lima and
Jonathan Juli{\'{a}}n Huerta y Munive and
Dmitriy Traytel},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Explainable Online Monitoring of Metric First-Order Temporal Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {288--307},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_16},
doi = {10.1007/978-3-031-57246-3\_16},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LimaMT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RodriguesSCR24,
author = {Nishant Rodrigues and
Mircea Sebe and
Xiaohong Chen and
Grigore Rosu},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {A Logical Treatment of Finite Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {350--369},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_20},
doi = {10.1007/978-3-031-57246-3\_20},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RodriguesSCR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TekriwalTJKP24,
author = {Mohit Tekriwal and
Avi Tachna{-}Fram and
Jean{-}Baptiste Jeannin and
Manos Kapritsos and
Dimitra Panagou},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Formally verified asymptotic consensus in robust networks},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {248--267},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_14},
doi = {10.1007/978-3-031-57246-3\_14},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/TekriwalTJKP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Temel24,
author = {Mertcan Temel},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {340--349},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_19},
doi = {10.1007/978-3-031-57246-3\_19},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Temel24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WesthofenNJN24,
author = {Lukas Westhofen and
Christian Neurohr and
Jean Christoph Jung and
Daniel Neider},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Answering Temporal Conjunctive Queries over Description Logic Ontologies
for Situation Recognition in Complex Operational Domains},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {167--187},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_10},
doi = {10.1007/978-3-031-57246-3\_10},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WesthofenNJN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2024-1,
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3},
doi = {10.1007/978-3-031-57246-3},
isbn = {978-3-031-57245-6},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2024-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-14 22:45 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
