Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science;M.D. Aagaard,2001
2. Lecture Notes in Computer Science;B. Barras,2000
3. Berezin, S., Clarke, E., Biere, A., Zhu, Y.: Verification of out-of-order processor designs using model checking and a light-weight completion function. Formal Methods in System Design 20(2), 187–222 (2002)
4. Birtwistle, G., Subrahmanyam, P.A. (eds.): VLSI Specification, Verification and Synthesis. Kluwer Academic Publishers, Dordrecht (1988)
5. Lecture Notes in Computer Science;B. Brock,1996
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献