Model checking of synchronous timing diagram (2000)

by N Amla, E Emerson, R Kurshan, K Namjoshi
Venue:Conference on Formal Methods in Computer Aided Design, Proc