Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. R. W. Brockett. Smooth dynamical systems which realize arithmetical and logical operations. In Hendrik Nijmeijer and Johannes M. Schumacher, editors, Three Decades of Mathematical Systems Theory: A Collection of Surveys at the Occasion of the 50th Birthday of J. C. Willems, volume 135 of Lecture Notes in Control and Information Sciences, pages 19–30. Springer-Verlag, 1989.
2. Mark R. Greenstreet and Peter Cahoon. How fast will the flip flop? In Proceedings of the 1994 International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 77–86, Salt Lake City, November 1994. IEEE Computer Society Press.
3. Lance A. Glasser and Daniel W. Dobberpuhl. The Design and Analysis of VLSI Circuits. Addison-Wesley, 1985.
4. Aarti Gupta. Formal hardware verification methods: A survey. Formal Methods in System Design, 1(2/3): 151–258, October 1992.
5. Thomas A. Henzinger and Pei-Hsin Ho. Algorithmic analysis of nonlinear hybrid systems. In Proceedings of CAV 95, pages 225–238, 1995.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献