{"language":[{"iso":"eng"}],"type":"conference","date_updated":"2022-01-06T07:03:53Z","place":"Bordeaux","citation":{"chicago":"Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Combining Graph Transformations with Temporal Logic.” In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux, 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} }","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.","apa":"Gadducci, F., Heckel, R., &#38; Koch, M. (1997). Combining Graph Transformations with Temporal Logic. In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux.","ama":"Gadducci F, Heckel R, Koch M. Combining Graph Transformations with Temporal Logic. In: <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux; 1997.","ieee":"F. Gadducci, R. Heckel, and M. Koch, “Combining Graph Transformations with Temporal Logic,” in <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","mla":"Gadducci, Fabio, et al. “Combining Graph Transformations with Temporal Logic.” <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997."},"author":[{"first_name":"Fabio","last_name":"Gadducci","full_name":"Gadducci, Fabio"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Manuel","last_name":"Koch","full_name":"Koch, Manuel"}],"title":"Combining Graph Transformations with Temporal Logic","status":"public","date_created":"2019-03-04T12:25:44Z","_id":"8277","publication":"Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)","year":"1997","user_id":"52534","department":[{"_id":"66"}]}