Author:
Hu Alan J.,Casas Jeremy,Yang Jin
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Aagaard, M., Jones, R.B., Seger, C.-J.H.: Combining theorem proving and trajectory evaluation in an industrial environment. In: 35th Design Automation Conference, pp. 538–541. ACM/IEEE (1998)
2. Lecture Notes in Computer Science;N. Amla,1999
3. Bentley, B.: High level validation of next generation microprocessors. In: International Workshop on High-Level Design, Validation, and Test, IEEE, Los Alamitos (2002)
4. Lecture Notes in Computer Science;P. Bjesse,2001
5. Lecture Notes in Computer Science;E.M. Clarke,1982
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献