Fluid Model-Checking in UPPAAL for Covid-19 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen. Fluid Model-Checking in UPPAAL for Covid-19. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. Volume 12476 of Lecture Notes in Computer Science, pages 385-403, Springer, 2020. [doi]

This author has not been identified. Look up 'Peter Gjøl Jensen' in GoogleThis author has not been identified. Look up 'Kenneth Yrke Jørgensen' in GoogleThis author has not been identified. Look up 'Kim G. Larsen' in GoogleThis author has not been identified. Look up 'Marius Mikucionis' in GoogleThis author has not been identified. Look up 'Marco Muñiz' in GoogleThis author has not been identified. Look up 'Danny Bøgsted Poulsen' in Google

runs on WebDSL