Model checking cancer automata

Juliana Kuster Filipe Bowles, Agastya Silvina

School of Computer Science

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

4 Citations (Scopus)

4 Downloads (Pure)

1 results

Filter

Finished
Automated Conflict Resolution: Automated Conflic Resolution in Clinical Pathways
Kuster Filipe Bowles, J. (PI)
EPSRC
1/07/15 → 15/12/18
Project: Standard