Search results for: Sabine Kuske
Lecture Notes in Computer Science > Theory and Application of Graph Transformations > Modularity and Refinement > 383-395
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 89-106
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 299-311
Lecture Notes in Computer Science > Integrated Formal Methods > Integration, Simulation, Animation > 11-28
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 56-73
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Modularization Concepts > 15-30
Lecture Notes in Computer Science > Graph Transformations and Model-Driven Engineering > Graph Transformations: Theory and Applications > 102-120
Lecture Notes in Computer Science > Theory and Application of Graph Transformations > Specification Concepts > 323-337
Lecture Notes in Computer Science > Graph Transformations > Graph Languages and Special Transformation Concepts > 351-365
Lecture Notes in Computer Science > ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools > Graph Transformations > 241-256
Lecture Notes in Computer Science > Graph Transformations > Extensions for Distributed and Global Computing > 245-259
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Dynamic System Modeling > 281-296
Autonomous Cooperation and Control in Logistics > Methodical Contributions and Limitations > 113-129
Theoretical Computer Science > 2012 > 429 > Complete > 193-201