Automatic Synthesis of Distributed systems

  • Esparza, Javier (Principal Investigator)

Project Details

StatusFinished
Effective start/end date1/10/0130/09/04

Funding

  • EPSRC: £62,738.00