---
_id: '8279'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: '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.'
apa: 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).
bibtex: '@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} }'
chicago: 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.
ieee: 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.
mla: 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.
short: 'R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph
Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.'
date_created: 2019-03-04T12:25:46Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Workshop on the General Theory of Graph Transformation
Systems (GETGRATS 1997), Bordeaux (France)
status: public
title: Compositional Development and Verification of Graph Transformation Systems
Based on Views and View Integration
type: conference
user_id: '52534'
year: '1997'
...