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)