Michael Mendler Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2000, v:17, n:1, pp:5-37 [Journal]
Farn Wang Parametric Analysis of Computer Systems. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2000, v:17, n:1, pp:39-60 [Journal]