Author:
Braga Christiano,Lopes Bruno
Publisher
Springer International Publishing
Reference15 articles.
1. Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theor. Comput. Sci. 236(1–2), 35–132 (2000)
2. Bourcerie, M., Bousseau, F., Guegnard, F.: Petri Nets for production systems: teaching and research in Europe. In Global Cooperation in Engineering Education: Innovative Technologies, Studies and Professional Development - International Conference Proceedings, pp. 85–89 (2008)
3. Lecture Notes in Computer Science;M Clavel,2007
4. Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude LTL model checker and its implementation. In: Proceedings of the 10th International Conference on Model Checking, pp. 230–234. Springer-Verlag, Heidelberg (2003)
5. Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194–211 (1979)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献