A verified algorithm enumerating event structures (dataset)

Juliana Kuster Filipe Bowles (Creator)
Marco Bright Caminati (Creator)

School of Computer Science

Dataset

1 Finished

1 results

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