Author:
Wang Xu,Kwiatkowska Marta
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. R. Alur, R.K. Brayton, T.A. Henzinger, S. Qadeer and S.K. Rajamani. Partial-Order Reduction in Symbolic State Space Exploration. CAV 1997: 340-351
2. S. Blom. Partial τ-confluence for Efficient State Space Generation. Technical Report SEN-R0123, CWI, Amsterdam, 2001
3. S. Blom and J. van de Pol. State Space Reduction by Proving Confluence. CAV 2002: 596-609
4. An Introduction to Asynchronous Circuit Design;Davis,1998
5. D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. AC Distinguished Dissertations. MIT Press, 1993
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献