{"title":"Compositional Verification of Reactive Systems Specified by Graph Transformation","date_created":"2019-02-20T14:11:57Z","publication":"Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)","page":"138-153","type":"conference","year":"1998","language":[{"iso":"eng"}],"intvolume":"      1382","_id":"7847","date_updated":"2022-01-06T07:03:47Z","author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"status":"public","series_title":"LNCS","doi":"http://dx.doi.org/10.1007/BFb0053578","volume":1382,"user_id":"52534","place":"Berlin/Heidelberg","publisher":"Springer","citation":{"mla":"Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by Graph Transformation.” <i>Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)</i>, vol. 1382, Springer, 1998, pp. 138–53, doi:<a href=\"http://dx.doi.org/10.1007/BFb0053578\">http://dx.doi.org/10.1007/BFb0053578</a>.","ieee":"R. Heckel, “Compositional Verification of Reactive Systems Specified by Graph Transformation,” in <i>Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)</i>, 1998, vol. 1382, pp. 138–153.","apa":"Heckel, R. (1998). Compositional Verification of Reactive Systems Specified by Graph Transformation. In <i>Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)</i> (Vol. 1382, pp. 138–153). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/BFb0053578\">http://dx.doi.org/10.1007/BFb0053578</a>","short":"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.","ama":"Heckel R. Compositional Verification of Reactive Systems Specified by Graph Transformation. In: <i>Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)</i>. Vol 1382. LNCS. Berlin/Heidelberg: Springer; 1998:138-153. doi:<a href=\"http://dx.doi.org/10.1007/BFb0053578\">http://dx.doi.org/10.1007/BFb0053578</a>","bibtex":"@inproceedings{Heckel_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Compositional Verification of Reactive Systems Specified by Graph Transformation}, volume={1382}, DOI={<a href=\"http://dx.doi.org/10.1007/BFb0053578\">http://dx.doi.org/10.1007/BFb0053578</a>}, 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} }","chicago":"Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by Graph Transformation.” In <i>Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)</i>, 1382:138–53. LNCS. Berlin/Heidelberg: Springer, 1998. <a href=\"http://dx.doi.org/10.1007/BFb0053578\">http://dx.doi.org/10.1007/BFb0053578</a>."},"department":[{"_id":"66"}]}