Coherence and satisfiability of waveform timing specifications

Interface timing verification with application to synthesis

DAC '94 Proceedings of the 31st annual Design Automation Conference

Efficient algorithms for interface timing verification

EURO-DAC '94 Proceedings of the conference on European design automation

On Deducing Timing Constraints in the Verification of Interfaces

Formal Methods in System Design

Efficient Algorithms for Interface Timing Verification

Formal Methods in System Design

Dynamic Min-Max Problems

Discrete Event Dynamic Systems

Min-Max Inequalities and the Timing Verification Problem with Max and Linear Constraints

Discrete Event Dynamic Systems