{"editor":[{"first_name":"Shaoying","last_name":"Liu","full_name":"Liu, Shaoying"},{"first_name":"T.","full_name":"S. E. Maibaum, T.","last_name":"S. E. Maibaum"},{"last_name":"Araki","full_name":"Araki, Keijiro","first_name":"Keijiro"}],"doi":"10.1007/978-3-540-88194-0_9","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"citation":{"ieee":"B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional Verification,” in <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>, 2008, pp. 105--125.","apa":"Metzler, B., Wehrheim, H., &#38; Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, &#38; K. Araki (Eds.), <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i> (pp. 105--125). <a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">https://doi.org/10.1007/978-3-540-88194-0_9</a>","mla":"Metzler, Björn, et al. “Decomposition for Compositional Verification.” <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>, edited by Shaoying Liu et al., 2008, pp. 105--125, doi:<a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">10.1007/978-3-540-88194-0_9</a>.","bibtex":"@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in Computer Science}, title={Decomposition for Compositional Verification}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">10.1007/978-3-540-88194-0_9</a>}, booktitle={Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}, editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008}, pages={105--125}, collection={Lecture Notes in Computer Science} }","ama":"Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>. Lecture Notes in Computer Science. ; 2008:105--125. doi:<a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">10.1007/978-3-540-88194-0_9</a>","chicago":"Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for Compositional Verification.” In <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008. <a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">https://doi.org/10.1007/978-3-540-88194-0_9</a>.","short":"B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125."},"user_id":"29719","type":"conference","page":"105--125","publication":"Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings","date_created":"2018-06-13T09:53:43Z","title":"Decomposition for Compositional Verification","date_updated":"2022-01-06T06:59:04Z","author":[{"full_name":"Metzler, Björn","last_name":"Metzler","first_name":"Björn"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573","first_name":"Heike"},{"first_name":"Daniel","full_name":"Wonisch, Daniel","last_name":"Wonisch"}],"status":"public","_id":"3209","year":"2008"}