h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Frohn, Florian
AU  - Giesl, Jürgen
TI  - Integrating Loop Acceleration Into Bounded Model Checking
VL  - 14933
CY  - Cham
PB  - Springer
M1  - RWTH-2024-09700
T2  - Lecture notes in computer science
SP  - 73-91
PY  - 2024
N1  - First Online: 11 September 2024
T2  - 26. International Symposium on Formal Methods
CY  - 9 Sep 2024 - 13 Sep 2024, Milan (Italy)
Y2  - 9 Sep 2024 - 13 Sep 2024
M2  - Milan, Italy
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:001336893300004
DO  - DOI:10.1007/978-3-031-71162-6_4
UR  - https://publications.rwth-aachen.de/record/995083
ER  -