% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@INPROCEEDINGS{Frohn:995083,
author = {Frohn, Florian and Giesl, Jürgen},
title = {{I}ntegrating {L}oop {A}cceleration {I}nto {B}ounded
{M}odel {C}hecking},
volume = {14933},
address = {Cham},
publisher = {Springer},
reportid = {RWTH-2024-09700},
series = {Lecture notes in computer science},
pages = {73-91},
year = {2024},
note = {First Online: 11 September 2024},
comment = {Formal methods : 26th international symposium, FM 2024,
Milan, Italy, September 9-13, 2024, proceedings / André
Platzer, Kristin Yvonne Rozier, Matteo Pradella Matteo
Rossi, editors. - Part I},
booktitle = {Formal methods : 26th international
symposium, FM 2024, Milan, Italy,
September 9-13, 2024, proceedings /
André Platzer, Kristin Yvonne Rozier,
Matteo Pradella Matteo Rossi, editors.
- Part I},
month = {Sep},
date = {2024-09-09},
organization = {26. International Symposium on Formal
Methods, Milan (Italy), 9 Sep 2024 - 13
Sep 2024},
cin = {121420 / 120000},
cid = {$I:(DE-82)121420_20140620$ / $I:(DE-82)120000_20140620$},
pnm = {DFG project G:(GEPRIS)235950644 - Automatische
Terminierungs- und Komplexitätsanalyse imperativer
Programme (235950644)},
pid = {G:(GEPRIS)235950644},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
UT = {WOS:001336893300004},
doi = {10.1007/978-3-031-71162-6_4},
url = {https://publications.rwth-aachen.de/record/995083},
}