Integrating the Specification Techniques of Graph Transformation and Temporal Logic

R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
; ; ;
Publishing Year
Proceedings Title
Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)
Page
219-228
LibreCat-ID

Cite this

Heckel R, Ehrig H, Wolter U, Corradini A. Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia). LNCS. London, UK: Springer; 1997:219-228. doi:http://dx.doi.org/10.1007/BFb0029965
Heckel, R., Ehrig, H., Wolter, U., & Corradini, A. (1997). Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia) (pp. 219–228). London, UK: Springer. http://dx.doi.org/10.1007/BFb0029965
@inproceedings{Heckel_Ehrig_Wolter_Corradini_1997, place={London, UK}, series={LNCS}, title={Integrating the Specification Techniques of Graph Transformation and Temporal Logic}, DOI={http://dx.doi.org/10.1007/BFb0029965}, booktitle={Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)}, publisher={Springer}, author={Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={1997}, pages={219–228}, collection={LNCS} }
Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “Integrating the Specification Techniques of Graph Transformation and Temporal Logic.” In Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), 219–28. LNCS. London, UK: Springer, 1997. http://dx.doi.org/10.1007/BFb0029965.
R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, “Integrating the Specification Techniques of Graph Transformation and Temporal Logic,” in Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), 1997, pp. 219–228.
Heckel, Reiko, et al. “Integrating the Specification Techniques of Graph Transformation and Temporal Logic.” Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, 1997, pp. 219–28, doi:http://dx.doi.org/10.1007/BFb0029965.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar