Author:
Braibant Thomas,Jourdan Jacques-Henri,Monniaux David
Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Lecture Notes in Computer Science;M. Armand,2010
2. Conchon, S., Filliâtre, J.-C.: Type-safe modular hash-consing. In: ACM SIGPLAN Workshop on ML, Portland, Oregon (September 2006)
3. Knuth, D.E.: The Art of Computer Programming, Binary decision diagrams, vol. 4A, ch. 7.1.4. Addison-Wesley (2011)
4. Verma, K.N., Goubault-Larrecq, J.: Reflecting BDDs in Coq. Rapport de recherche RR-3859, INRIA (2000)
5. Lecture Notes in Computer Science;K.N. Verma,2000
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Performance Modeling of Maximal Sharing;Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering;2016-03-12