conference paper Björn Metzler author Heike Wehrheim author 573 Daniel Wonisch author ShaoyingLiu editor T.S. E. Maibaum editor KeijiroAraki editor 77 department 2008 10.1007/978-3-540-88194-0_9 105--125 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. 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>. 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> 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>. @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} } 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. 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> 32092018-06-13T09:53:43Z2022-01-06T06:59:04Z