Author:
López Bóbeda Edmundo,Colange Maximilien,Buchs Didier
Publisher
Springer International Publishing
Reference14 articles.
1. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.: Symbolic Model Checking: 1020 States and Beyond. Information and Computation 98(2), 142–170 (1992)
2. Lecture Notes in Computer Science;G. Ciardo,2003
3. Lecture Notes in Computer Science;P. Wolper,1993
4. Buchs, D., Hostettler, S.: Sigma Decision Diagrams. In: Corradini, A. (ed.) TERMGRAPH 2009: Preliminary Proceedings of the 5th International Workshop on Computing with Terms and Graphs. Number TR-09-05 in TERMGRAPH Workshops, Università di Pisa, pp. 18–32 (2009)
5. Goguen, J.A., Meseguer, J.: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. 105, 217–273 (1992)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献