@inproceedings{Frohn_TACAS2020,
TITLE = {A Calculus for Modular Loop Acceleration},
AUTHOR = {Frohn, Florian},
LANGUAGE = {eng},
ISBN = {978-3-030-45189-9},
DOI = {10.1007/978-3-030-45190-5_4},
PUBLISHER = {Springer},
YEAR = {2020},
DATE = {2020},
BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)},
EDITOR = {Biere, Armin and Parker, David},
PAGES = {58--76},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {12078},
ADDRESS = {Dublin, Ireland (Online Event)},
}