Author:
Baresi Luciano,Rafe Vahid,Rahmani Adel T.,Spoletini Paola
Subject
General Computer Science,Theoretical Computer Science
Reference26 articles.
1. Baldan, P., Corradini, A., and König, B., “Verifying Finite-State Graph Grammars: An Unfolding-Based Approach”, In Proc. of International Conference on Concurrency Theory (CONCUR), 83–98, 2004
2. Baldan, P. and König, B., “Approximating the Behaviour of Graph Transformation Systems”, In Proc. of First International Conference on Graph Transformation (ICGT), 14–29, 2002
3. On Accurate Automatic Verification of Publish-Subscribe Architectures;Baresi,2007
4. Tutorial Introduction to Graph Transformation: A Software Engineering Perspective;Baresi,2002
5. Baresi, L., Heckel, R., Thöne, S. and Varró, D., “Modeling and Validation of Service Oriented Architectures: Application vs. Style”, In Proc. of European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, 68–77, 2003
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献