Open AccessEvaluating the Impact of Vaccination on COVID-19 Using Model Checking
Author(s) -
Xin Li
Publication year - 2021
Publication title -
proceedings/proceedings of the ... international conference on software engineering and knowledge engineering
Language(s) - English
Resource type - Conference proceedings
eISSN - 2325-9000
pISSN - 2325-9086
DOI - 10.18293/seke2021-131
Subject(s) - covid-19 , vaccination , computer science , model checking , virology , medicine , theoretical computer science , disease , pathology , infectious disease (medical specialty)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom