Personal information

No personal information available

Activities

Collapse all

Works (1)

An Integer Static Analysis for Better Extrapolation in Uppaal

2021 | Book chapter
DOI: 10.1007/978-3-030-85037-1_6
Contributors: Sebastian Lund; Jesper van Diepen; Kim G. Larsen; Marco Muñiz; Tobias Ringholm Jørgensen; Tobias Skaarup Daa Andersen
Source: check_circle
Crossref
How many people are using ORCID?