Jörg Fischer, Stefan Conrad. Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. In Wolfgang Grieskamp, Thomas Santen, Bill Stoddart, editors, Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings. Volume 1945 of Lecture Notes in Computer Science, pages 45-60, Springer, 2000. [doi]
Abstract is missing.