TD-Magic: From Pictures of Timing Diagrams To Formal Specifications.

Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu

Browse the full DAC paper archive.