[{"user_id":"52534","_id":"8277","citation":{"ieee":"F. Gadducci, R. Heckel, and M. Koch, “Combining Graph Transformations with Temporal Logic,” in *Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)*, 1997.","short":"F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.","mla":"Gadducci, Fabio, et al. “Combining Graph Transformations with Temporal Logic.” *Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)*, 1997.","apa":"Gadducci, F., Heckel, R., & Koch, M. (1997). Combining Graph Transformations with Temporal Logic. In *Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)*. Bordeaux.","bibtex":"@inproceedings{Gadducci_Heckel_Koch_1997, place={Bordeaux}, title={Combining Graph Transformations with Temporal Logic}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={1997} }","ama":"Gadducci F, Heckel R, Koch M. Combining Graph Transformations with Temporal Logic. In: *Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)*. Bordeaux; 1997.","chicago":"Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Combining Graph Transformations with Temporal Logic.” In *Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)*. Bordeaux, 1997."},"language":[{"iso":"eng"}],"year":"1997","status":"public","date_updated":"2019-03-04T12:30:13Z","date_created":"2019-03-04T12:25:44Z","department":[{"_id":"66"}],"title":"Combining Graph Transformations with Temporal Logic","type":"conference","place":"Bordeaux","author":[{"full_name":"Gadducci, Fabio","last_name":"Gadducci","first_name":"Fabio"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Koch, Manuel","first_name":"Manuel","last_name":"Koch"}],"publication":"Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)"}]