Jesper van Diepen

From MaRDI portal
Person:832035

Available identifiers

zbMath Open van-diepen.jesperMaRDI QIDQ832035

List of research outcomes





PublicationDate of PublicationType
An integer static analysis for better extrapolation in Uppaal2022-03-24Paper

Research outcomes over time

This page was built for person: Jesper van Diepen