Author:
Carloni Luca P.,McMillan Kenneth L.,Sangiovanni-Vincentelli Alberto L.
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Technical Report;L. P. Carloni,1999
2. D. Matzke. Will Physical Scalability Sabotage Performance Gains? IEEE Computer, 8(9):37–39, September 1997.
3. D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. The MIT Press, Cambridge, Mass., 1988. An ACM Distinguished Dissertation 1988.
4. T.A. Henzinger, S. Qadeer, and R.K. Rajamani. You Assume, We Guarantee: Methodology and Case Studies. In Proceedings of the 10th International Conference on Computer-Aided Verification, Vancouver, Canada, July 1998.
5. E. A. Lee and A. Sangiovanni-Vincentelli. A Framework for Comparing Models of Computation. IEEE Transactions on Computer-Aided Design, 17(12):1217–1229, December 1998.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献