Author:
Berghammer Rudolf,Neumann Frank
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;R. Behnke,1998
2. Berghammer, R., Hoffmann, T.: Modelling sequences within the RelView system. J. of Univ. Comp. Sci. 7, 107–123 (2001)
3. Lecture Notes in Computer Science,2004
4. Advances in Computer Science,1997
5. Bryant, R.E.: Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Com. Surv. 24, 293–318 (1992)
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献