2003 |
3 | EE | Anilda Qemali,
Gabriele Taentzer:
Towards Validation of Session Management in Web Applications based on Graph Transformation.
AGTIVE 2003: 15-29 |
2 | EE | Herbert Weber,
Hartmut Ehrig,
Wolfgang Reisig,
Alexander Borusan,
Sabine Lembke,
Juliane Dehnert,
Michael Weber,
Axel Martens,
Julia Padberg,
Claudia Ermel,
Anilda Qemali:
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
Petri Net Technology for Communication-Based Systems 2003: 1-21 |
2002 |
1 | | Anilda Qemali:
A New Experience with Graph Transformation.
Bulletin of the EATCS 77: 63-66 (2002) |