Suzuki, K., Higashino, T., Yasumoto, K. und El-Fakih, K. (Hrsg.) (2008) „Formal Techniques for Networked and Distributed Systems – FORTE 2008 : 28 th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings“, Programming and Software Engineering. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-68855-6.

Suzuki, Kenji, Teruo Higashino, Keiichi Yasumoto, und Khaled El-Fakih, Hrsg. „Formal Techniques for Networked and Distributed Systems – FORTE 2008 : 28 th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-68855-6.

Suzuki, K., Higashino, T., Yasumoto, K., … El-Fakih, K. (Hrsg.). (ca. 2008). Formal Techniques for Networked and Distributed Systems – FORTE 2008 : 28 th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-68855-6

Suzuki, K., T. Higashino, K. Yasumoto, und K. El-Fakih, Herausgeber. „Formal Techniques for Networked and Distributed Systems – FORTE 2008 : 28 th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings“. Programming and Software Engineering, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-68855-6.

SUZUKI, Kenji, Teruo HIGASHINO, Keiichi YASUMOTO und Khaled EL-FAKIH (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540688556