Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams [chapter]

Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar Namjoshi
2001 Lecture Notes in Computer Science  
doi:10.1007/3-540-44585-4_38 fatcat:3njjzqiic5cvjeu47qy22226ky