---
_id: '8341'
author:
- first_name: Fabio
  full_name: Gadducci, Fabio
  last_name: Gadducci
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Manuel
  full_name: Koch, Manuel
  last_name: Koch
citation:
  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>'
  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>'
  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} }'
  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>.'
  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.
  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>.
  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.'
date_created: 2019-03-05T13:29:31Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b75045
intvolume: '      1764'
language:
- iso: eng
page: 310-322
place: London, UK
publication: Proceedings of the 6th International Workshop on Theory and Application
  of Graph Transformations (TAGT 1998), Paderborn (Germany)
publisher: Springer
series_title: LNCS
status: public
title: A Fully Abstract Model for Graph-Interpreted Temporal Logic
type: conference
user_id: '52534'
volume: 1764
year: '2000'
...