{"publisher":"Springer","status":"public","user_id":"52534","date_created":"2019-03-05T13:29:31Z","doi":"http://dx.doi.org/10.1007/b75045","publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)","department":[{"_id":"66"}],"type":"conference","intvolume":"      1764","date_updated":"2022-01-06T07:03:53Z","year":"2000","volume":1764,"title":"A Fully Abstract Model for Graph-Interpreted Temporal Logic","language":[{"iso":"eng"}],"_id":"8341","series_title":"LNCS","citation":{"bibtex":"@inproceedings{Gadducci_Heckel_Koch_2000, place={London, UK}, series={LNCS}, title={A Fully Abstract Model for Graph-Interpreted Temporal Logic}, volume={1764}, DOI={<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={2000}, pages={310–322}, collection={LNCS} }","apa":"Gadducci, F., Heckel, R., &#38; Koch, M. (2000). A Fully Abstract Model for Graph-Interpreted Temporal Logic. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i> (Vol. 1764, pp. 310–322). London, UK: Springer. <a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>","ama":"Gadducci F, Heckel R, Koch M. A Fully Abstract Model for Graph-Interpreted Temporal Logic. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>. Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>","short":"F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, London, UK, 2000, pp. 310–322.","mla":"Gadducci, Fabio, et al. “A Fully Abstract Model for Graph-Interpreted Temporal Logic.” <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, vol. 1764, Springer, 2000, pp. 310–22, doi:<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>.","ieee":"F. Gadducci, R. Heckel, and M. Koch, “A Fully Abstract Model for Graph-Interpreted Temporal Logic,” in <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, 2000, vol. 1764, pp. 310–322.","chicago":"Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “A Fully Abstract Model for Graph-Interpreted Temporal Logic.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, 1764:310–22. LNCS. London, UK: Springer, 2000. <a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>."},"author":[{"last_name":"Gadducci","first_name":"Fabio","full_name":"Gadducci, Fabio"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"last_name":"Koch","first_name":"Manuel","full_name":"Koch, Manuel"}],"place":"London, UK","page":"310-322"}