Author:
Bündgen Reinhard,Lauterbach Werner
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. R. Bündgen. Reduce the redex → ReDuX. In C. Kirchner, editor, Rewriting Techniques and Applications (LNCS 690), pages 446–450. Springer-Verlag, 1993.
2. R. Bündgen, W. Küchlin, and W. Lauterbach. Verification of the Sparrow processor. In IEEE Symposium and Workshop on Engineering of Computer-Based Systems. IEEE Press, 1996. (Proc. ECBS'96, to appear).
3. R. Bündgen and W. Lauterbach. Experiments with partial evaluation domains for rewrite specifications. In 11th Workshop on Abstract Data Types, 1995. (submitted, presented at WADT'95, Oslo, N, September 1995).
4. R. Bündgen, C. Sinz, and J. Walter. ReDuX 1.5: New facets of rewriting. In H. Ganzinger, editor, Rewriting Techniques and Applications. Springer-Verlag, 1996. (to appear).
5. U. Kebschull, E. Schubert, and W. Rosenstiel. Multilevel logic synthesis based on functional decision diagrams. In Proc. EDAC 1992, 1992.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献