Undecidable Control Conditions in Graph Transformation Units
| Autor: | Hölscher, Karsten, Klempien-Hinrichs, Renate, Knirsch, Peter |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 18 January 2008 195:95-111 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect