{"_id":"8286","title":"Model Checking Graph-Interpreted Temporal Formulas","department":[{"_id":"66"}],"date_created":"2019-03-04T12:25:54Z","user_id":"52534","citation":{"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.","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.","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.","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.","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} }","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."},"year":"1998","place":"Paderborn","status":"public","author":[{"first_name":"Fabio","full_name":"Gadducci, Fabio","last_name":"Gadducci"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Koch, Manuel","last_name":"Koch","first_name":"Manuel"}],"type":"conference","date_updated":"2022-01-06T07:03:53Z","publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)","language":[{"iso":"eng"}]}