Fluid Model-Checking in UPPAAL for Covid-19.

Peter Gjl Jensen, Kenneth Yrke Jrgensen, Kim G. Larsen, Marius Mikucionis, Marco Muiz, Danny Bgsted Poulsen

Browse the full ISoLA paper archive.