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