Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes.

Jrg Fischer, Stefan Conrad

Browse the full IFM paper archive.