APA (7th ed.) Citation

Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A., & Pelliccione, P. (2010). Formal analysis and verification of self-healing systems (Long version.). Technische Universität Berlin. https://doi.org/10.14279/depositonce-10240

Chicago Style (17th ed.) Citation

Ehrig, Hartmut, Claudia Ermel, Olga Runge, Antonio Bucchiarone, and Patrizio Pelliccione. Formal Analysis and Verification of Self-healing Systems. Long version. Berlin: Technische Universität Berlin, 2010. https://doi.org/10.14279/depositonce-10240.

MLA (9th ed.) Citation

Ehrig, Hartmut, et al. Formal Analysis and Verification of Self-healing Systems. Long version. Technische Universität Berlin, 2010. https://doi.org/10.14279/depositonce-10240.