Items where authors include "Pardillo Laursen, Christian"

Article

Munive, Jonathan Huerta y, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (3 more authors) (2024) IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. Journal of Automated Reasoning. 68. ISSN 0168-7433