engFrohn, FlorianGiesl, JürgenIntegrating Loop Acceleration Into Bounded Model CheckingCham : Springer, Lecture notes in computer science 14933, 73-91 (2024). doi:10.1007/978-3-031-71162-6_4info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionFormal methods : 26th international symposium, FM 2024, Milan, Italy, September 9-13, 2024, proceedings / André Platzer, Kristin Yvonne Rozier, Matteo Pradella Matteo Rossi, editors. - Part IFormal 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<br/>26. International Symposium on Formal Methods, FM 2024, Milan, Italy, 2024-09-09 - 2024-09-13Springer2024info:eu-repo/semantics/openAccessDEhttps://publications.rwth-aachen.de/record/995083https://publications.rwth-aachen.de/search?p=id:%22RWTH-2024-09700%22Researchersinfo:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2024-09700info:eu-repo/semantics/altIdentifier/isbn/978-3-031-71162-6info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-71162-6_4info:eu-repo/semantics/altIdentifier/issn/1611-3349info:eu-repo/semantics/altIdentifier/isbn/978-3-031-71163-3info:eu-repo/semantics/altIdentifier/issn/0302-9743info:eu-repo/semantics/altIdentifier/isbn/978-3-031-71161-9info:eu-repo/semantics/altIdentifier/wos/WOS:001336893300004