Author:
Sedlmajer Nicolas,Buchs Didier,Hostettler Steve,Linard Alban,López Bóbeda Edmundo,Marechal Alexis
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Besson, B., de Jong, H., Monteiro, P., Page, M.: GNA,
http://ibis.inrialpes.fr/article122.html
2. Buchs, D., Guelfi, N.: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE Transactions on Software Engineering 26(7), 635–652 (2000)
3. Buchs, D., Hostettler, S.: Sigma Decision Diagrams. In: TERMGRAPH 2009: 5th International Workshop on Computing with Terms and Graphs, pp. 18–32. No. TR-09-05, Università di Pisa (2009)
4. Lecture Notes in Computer Science;D. Buchs,2010
5. Lecture Notes in Computer Science;D. Buchs,2010
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献