Lecture Notes in Computer Science - Graph Transformations
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540388708, 9783540388722
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Satisfiability of High-Level Conditions

2006 ◽  
pp. 430-444 ◽  
Author(s):  
Annegret Habel ◽  
Karl-Heinz Pennemann
Keyword(s):  
High Level

scholarly journals Termination Analysis of Model Transformations by Petri Nets

2006 ◽  
pp. 260-274 ◽  
Author(s):  
Dániel Varró ◽  
Szilvia Varró–Gyapay ◽  
Hartmut Ehrig ◽  
Ulrike Prange ◽  
Gabriele Taentzer
Keyword(s):  
Petri Nets ◽  
Model Transformations ◽  
Termination Analysis

scholarly journals Autonomous Units and Their Semantics — The Sequential Case

2006 ◽  
pp. 245-259 ◽  
Author(s):  
Karsten Hölscher ◽  
Hans-Jörg Kreowski ◽  
Sabine Kuske

Workshop on Graph-Based Tools

2006 ◽  
pp. 465-466 ◽  
Author(s):  
Albert Zündorf ◽  
Dániel Varró
Load More ...
Sign in / Sign up

Export Citation Format

Share Document