Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic (1999)

by Michael Mendler
Venue:Formal Methods in System Design