Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration

R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
Publishing Year
Proceedings Title
Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)
LibreCat-ID

Cite this

Heckel R. Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration. In: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). ; 1997.
Heckel, R. (1997). Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration. In Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France).
@inproceedings{Heckel_1997, title={Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Heckel, Reiko}, year={1997} }
Heckel, Reiko. “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration.” In Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
R. Heckel, “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration,” in Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
Heckel, Reiko. “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration.” Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar