EPSRC logo
Researcher Details
 
Name: Dr JE Sinclair
Organisation: University of Warwick
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
GR/N01132/01 COMBINING FORMAL APPROACHES FOR THE ANALYSIS AND VERIFICATION OF NETWORK PROTOCOLS(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator