A Fully Abstract Model for Graph-Interpreted Temporal Logic
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.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Gadducci, Fabio;
Heckel, Reiko;
Koch, Manuel
Department
Publishing Year
Proceedings Title
Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)
forms.conference.field.series_title_volume.label
LNCS
Volume
1764
Page
310-322
LibreCat-ID
Cite this
Gadducci F, Heckel R, Koch M. A Fully Abstract Model for Graph-Interpreted Temporal Logic. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:http://dx.doi.org/10.1007/b75045
Gadducci, F., Heckel, R., & Koch, M. (2000). A Fully Abstract Model for Graph-Interpreted Temporal Logic. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany) (Vol. 1764, pp. 310–322). London, UK: Springer. http://dx.doi.org/10.1007/b75045
@inproceedings{Gadducci_Heckel_Koch_2000, place={London, UK}, series={LNCS}, title={A Fully Abstract Model for Graph-Interpreted Temporal Logic}, volume={1764}, DOI={http://dx.doi.org/10.1007/b75045}, 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} }
Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “A Fully Abstract Model for Graph-Interpreted Temporal Logic.” In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), 1764:310–22. LNCS. London, UK: Springer, 2000. http://dx.doi.org/10.1007/b75045.
F. Gadducci, R. Heckel, and M. Koch, “A Fully Abstract Model for Graph-Interpreted Temporal Logic,” in Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), 2000, vol. 1764, pp. 310–322.
Gadducci, Fabio, et al. “A Fully Abstract Model for Graph-Interpreted Temporal Logic.” Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), vol. 1764, Springer, 2000, pp. 310–22, doi:http://dx.doi.org/10.1007/b75045.
Google Scholar