APA (7th ed.) Citation

Rebner, G., Auer, E., & Luther, W. (2012). A verified realization of a Dempster–Shafer based fault tree analysis. Computing, 94(2-4), 313-324. https://doi.org/10.1007/s00607-011-0179-3

Chicago Style (17th ed.) Citation

Rebner, Gabor, Ekaterina Auer, and Wolfram Luther. "A Verified Realization of a Dempster–Shafer Based Fault Tree Analysis." Computing 94, no. 2-4 (2012): 313-324. https://doi.org/10.1007/s00607-011-0179-3.

MLA (9th ed.) Citation

Rebner, Gabor, et al. "A Verified Realization of a Dempster–Shafer Based Fault Tree Analysis." Computing, vol. 94, no. 2-4, 2012, pp. 313-324, https://doi.org/10.1007/s00607-011-0179-3.