{"department":[{"_id":"66"}],"publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)","place":"Paderborn","citation":{"apa":"Gadducci, F., Heckel, R., &#38; Koch, M. (1998). Model Checking Graph-Interpreted Temporal Formulas. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. Paderborn.","short":"F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Paderborn, 1998.","mla":"Gadducci, Fabio, et al. “Model Checking Graph-Interpreted Temporal Formulas.” <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","chicago":"Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Model Checking Graph-Interpreted Temporal Formulas.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. Paderborn, 1998.","ieee":"F. Gadducci, R. Heckel, and M. Koch, “Model Checking Graph-Interpreted Temporal Formulas,” in <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","ama":"Gadducci F, Heckel R, Koch M. Model Checking Graph-Interpreted Temporal Formulas. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. Paderborn; 1998.","bibtex":"@inproceedings{Gadducci_Heckel_Koch_1998, place={Paderborn}, title={Model Checking Graph-Interpreted Temporal Formulas}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={1998} }"},"status":"public","title":"Model Checking Graph-Interpreted Temporal Formulas","author":[{"first_name":"Fabio","last_name":"Gadducci","full_name":"Gadducci, Fabio"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"first_name":"Manuel","last_name":"Koch","full_name":"Koch, Manuel"}],"_id":"8286","user_id":"52534","language":[{"iso":"eng"}],"date_created":"2019-03-04T12:25:54Z","date_updated":"2022-01-06T07:03:53Z","type":"conference","year":"1998"}