Geometry of Synthesis: A structured approach to VLSI design

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

31 Citations (Scopus)

2 results

Filter

Finished
Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification
Ghica, D.
Engineering & Physical Science Research Council
1/07/06 → 30/06/11
Project: Research Councils
Modular Abstraction and Abstraction Refinement: A Game Semantic Approach
Ghica, D.
Engineering & Physical Science Research Council
1/03/06 → 30/11/08
Project: Research Councils