Name:	Dr D Milford
Organisation:	University of Bristol
Department:	Electrical and Electronic Engineering
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/J52310/01 AUTOMATED SYNTHESIS OF SYNCHRONOUS AND ASYNCHRONOUS PARALLEL CONTROLLERS (C) GR/H14298/01 VERIFICATION USING BINARY DECISION DIAGRAMS (C) GR/F98307/01 VERIFICATION USING BINARY DECISION DIAGRAMS (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator