A formally verified smt approach to true concurrency? (2020)
Attributed to:
Stochastic models to enable tailoring of medications to patients with multiple morbidities
funded by
MRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85095832285
Type: Other
Volume: 2710
Parent Publication: CEUR Workshop Proceedings
ISSN: 16130073