Compositional Verification of Reactive Systems Specified by Graph Transformation

R. Heckel, in: Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1998, pp. 138–153.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
Publishing Year
Proceedings Title
Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)
Volume
1382
Page
138-153
LibreCat-ID

Cite this

Heckel R. Compositional Verification of Reactive Systems Specified by Graph Transformation. In: Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal). Vol 1382. LNCS. Berlin/Heidelberg: Springer; 1998:138-153. doi:http://dx.doi.org/10.1007/BFb0053578
Heckel, R. (1998). Compositional Verification of Reactive Systems Specified by Graph Transformation. In Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal) (Vol. 1382, pp. 138–153). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/BFb0053578
@inproceedings{Heckel_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Compositional Verification of Reactive Systems Specified by Graph Transformation}, volume={1382}, DOI={http://dx.doi.org/10.1007/BFb0053578}, booktitle={Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)}, publisher={Springer}, author={Heckel, Reiko}, year={1998}, pages={138–153}, collection={LNCS} }
Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by Graph Transformation.” In Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), 1382:138–53. LNCS. Berlin/Heidelberg: Springer, 1998. http://dx.doi.org/10.1007/BFb0053578.
R. Heckel, “Compositional Verification of Reactive Systems Specified by Graph Transformation,” in Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), 1998, vol. 1382, pp. 138–153.
Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by Graph Transformation.” Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), vol. 1382, Springer, 1998, pp. 138–53, doi:http://dx.doi.org/10.1007/BFb0053578.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar