A Calculus for Modular Loop Acceleration

Frohn, Florian

doi:10.1007/978-3-030-45190-5_4

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

A Calculus for Modular Loop Acceleration

MPS-Authors

/persons/resource/persons253052

Frohn, Florian
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

Frohn2020_Chapter_ACalculusForModularLoopAcceler.pdf
(Publisher version), 344KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Frohn, F. (2020). A Calculus for Modular Loop Acceleration. In A. Biere, & D. Parker (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 58-76). Berlin: Springer. doi:10.1007/978-3-030-45190-5_4.

Cite as: https://hdl.handle.net/21.11116/0000-0007-7FCF-3

Abstract

There is no abstract available