Model Checking Graph-Interpreted Temporal Formulas

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.

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 Transformation (TAGT 1998), Paderborn (Germany)
LibreCat-ID

Cite this

Gadducci F, Heckel R, Koch M. Model Checking Graph-Interpreted Temporal Formulas. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). Paderborn; 1998.
Gadducci, F., Heckel, R., & Koch, M. (1998). Model Checking Graph-Interpreted Temporal Formulas. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). Paderborn.
@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} }
Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Model Checking Graph-Interpreted Temporal Formulas.” In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). Paderborn, 1998.
F. Gadducci, R. Heckel, and M. Koch, “Model Checking Graph-Interpreted Temporal Formulas,” in Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
Gadducci, Fabio, et al. “Model Checking Graph-Interpreted Temporal Formulas.” Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar