Reports for Author "Doukas, Dimitris"
- TR-345-91 - CLOVER: A User Guide (1991)
- TR-297-90 - A New Specification Model for Timing constraints and Efficient Methods for their Verification (thesis) (1991)
- TR-274-90 - CLOVER: A Timing Constraints Verification System (1990)
- TR-128-87 - Analysis of Algorithms for the Configuration of Wafer Scale Linear Arrays in the Presence of Defects (1987)