Disjunction of Regular Timing Diagrams
暂无分享,去创建一个
[1] Kathi Fisler,et al. Timing Diagrams: Formalization and Algorithmic Verification , 1999, J. Log. Lang. Inf..
[2] E. Allen Emerson,et al. Efficient model checking for timing diagrams , 2001 .
[3] Kedar S. Namjoshi,et al. Efficient Decompositional Model Checking for Regular Timing Diagrams , 1999, CHARME.
[4] Eduard Cerny,et al. Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic , 1997, Theor. Comput. Sci..
[5] Clifford Stein,et al. Introduction to Algorithms, 2nd edition. , 2001 .
[6] David L. Dill,et al. Algorithms for interface timing verification , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
[7] Kathi Fisler,et al. Temporal Modalities for Concisely Capturing Timing Diagrams , 2005, CHARME.
[8] Ronald L. Rivest,et al. Introduction to Algorithms, Second Edition , 2001 .
[9] Daniel Jackson,et al. Software Abstractions - Logic, Language, and Analysis , 2006 .