Fluid Model-Checking in UPPAAL for Covid-19

Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Marius Mikučionis, Marco Antonio Muniz Rodriguez, Danny Bøgsted Poulsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Søgeresultater