Reports for Author "Doukas, Dimitris"

TR-345-91 - CLOVER: A User Guide (1991-08-00)
Doukas, Dimitris / LaPaugh, Andrea S.
TR-128-87 - Analysis of Algorithms for the Configuration of Wafer Scale Linear Arrays in the Presence of Defects (1987-12-00)
Doukas, Dimitris / LaPaugh, Andrea S.
TR-274-90 - CLOVER: A Timing Constraints Verification System (1990-07-00)
Doukas, Dimitris / LaPaugh, Andrea S.
TR-297-90 - A New Specification Model for Timing constraints and Efficient Methods for their Verification (thesis) (1991-01-00)
Doukas, Dimitris