Fingeraftryk
Dyk ned i forskningsemnerne om 'Fluid Model-Checking in UPPAAL for Covid-19'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
3
Citationer
(Scopus)