A formally verified SMT approach to true concurrency

Juliana Kuster Filipe Bowles, Marco Bright Caminati

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 results

Finished
Rutherford Fellowship: Stochastic models to enable tailoring of medications to patients with multiple morbidities
Kuster Filipe Bowles, J. (PI) & Caminati, M. B. (CoI)
15/02/18 → 13/03/22
Project: Fellowship
Automated Conflict Resolution: Automated Conflic Resolution in Clinical Pathways
Kuster Filipe Bowles, J. (PI)
EPSRC
1/07/15 → 15/12/18
Project: Standard