Publisher
Springer Berlin Heidelberg
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Change Management for Heterogeneous Development Graphs;Verification, Induction, Termination Analysis;2010
2. Heterogeneous Logical Environments for Distributed Specifications;Recent Trends in Algebraic Development Techniques;2009
3. A Heterogeneous Approach to UML Semantics;Concurrency, Graphs and Models;2008
4. Formal Software Development in MAYA;Lecture Notes in Computer Science;2005
5. View Consistency in Software Development;Radical Innovations of Software and Systems Engineering in the Future;2004