Author:
Edelkamp Stefan,Jabbar Shahid,Kissmann Peter
Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Lecture Notes in Computer Science;K. Anderson,2007
2. Ball, M., Holte, R.: The compression power of symbolic pattern databases. In: International Conference on Automated Planning and Scheduling (ICAPS), pp. 2–11 (2008)
3. Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24(3), 142–170 (1992)
4. Clarke, E., Grumberg, O., Long, D.: Model checking and abstraction. ACM Transactions on Programming Language Systems 16(5), 1512–1542 (1994)
5. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Principles of Programming Languages (POPL), pp. 238–252 (1977)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献