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
; ;
Publishing Year
Proceedings Title
Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)
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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar