Name
Title | ||
|---|---|---|
Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.14279/tuj.eceasst.42.603 | ECEASST |
Field | DocType | Volume |
Social network,Programming language,Computer science,Modeling language,Theoretical computer science,Offline analysis,Graph rewriting,Formalism (philosophy),Code refactoring | Journal | 42 |
Citations | PageRank | References |
1 | 0.35 | 7 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Márk Asztalos | 1 | 108 | 10.94 |
| Péter Ekler | 2 | 15 | 11.81 |
| László Lengyel | 3 | 172 | 25.15 |
| Tihamer Levendovszky | 4 | 233 | 27.58 |
| Gergely Mezei | 5 | 143 | 24.62 |
| Tamás Mészáros | 6 | 80 | 15.23 |