Model checking group protocols

  • Stirling, Colin (Principal Investigator)

Project Details

StatusFinished
Effective start/end date1/09/0031/08/03

Funding

  • EPSRC: £240,369.00