Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen. An Integer Static Analysis for Better Extrapolation in Uppaal. In Catalin Dima, Mahsa Shirmohammadi, editors, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings. Volume 12860 of Lecture Notes in Computer Science, pages 84-99, Springer, 2021. [doi]
@inproceedings{LundDLMJA21,
title = {An Integer Static Analysis for Better Extrapolation in Uppaal},
author = {Sebastian Lund and Jesper van Diepen and Kim G. Larsen and Marco Muñiz and Tobias Ringholm Jørgensen and Tobias Skaarup Daa Andersen},
year = {2021},
doi = {10.1007/978-3-030-85037-1_6},
url = {https://doi.org/10.1007/978-3-030-85037-1_6},
researchr = {https://researchr.org/publication/LundDLMJA21},
cites = {0},
citedby = {0},
pages = {84-99},
booktitle = {Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings},
editor = {Catalin Dima and Mahsa Shirmohammadi},
volume = {12860},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-85037-1},
}