Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;M.D. Aagaard,2001
2. Lecture Notes in Computer Science;M. Aagaard,2002
3. Bevier, W.R., Hunt, W.A.: An Approach to Systems Verification. Journal of Automated Reasoning 5 (1989)
4. Brock, B.C., Hunt Jr., W.: Formal Analysis of the Motorola CAP DSP. In: Hinchey, M., Bowen, J. (eds.) Industrial-Strength Formal Methods, Springer, Heidelberg (1999)
5. Lecture Notes in Computer Science;J.R. Burch,1994
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. VWSIM: A Circuit Simulator;Electronic Proceedings in Theoretical Computer Science;2022-05-24