A verified algorithm enumerating event structures

Juliana Kuster Filipe Bowles
, Marco Bright Caminati

School of Computer Science

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

1 results

Filter

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