{"place":"Bordeaux","status":"public","date_created":"2019-03-04T12:25:44Z","department":[{"_id":"66"}],"author":[{"last_name":"Gadducci","full_name":"Gadducci, Fabio","first_name":"Fabio"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Manuel","full_name":"Koch, Manuel","last_name":"Koch"}],"user_id":"52534","year":"1997","citation":{"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.","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.","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.","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.","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.","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} }"},"type":"conference","date_updated":"2022-01-06T07:03:53Z","publication":"Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)","language":[{"iso":"eng"}],"_id":"8277","title":"Combining Graph Transformations with Temporal Logic"}