APA (7th ed.) Citation

Aichernig, B. K., Bauerstätter, P., Jöbstl, E., Kann, S., Korošec, R., Krenn, W., . . . Schumi, R. (2019). Learning and statistical model checking of system response times. Software quality journal, 27(2), 757-795. https://doi.org/10.1007/s11219-018-9432-8

Chicago Style (17th ed.) Citation

Aichernig, Bernhard K., Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korošec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, and Richard Schumi. "Learning and Statistical Model Checking of System Response Times." Software Quality Journal 27, no. 2 (2019): 757-795. https://doi.org/10.1007/s11219-018-9432-8.

MLA (9th ed.) Citation

Aichernig, Bernhard K., et al. "Learning and Statistical Model Checking of System Response Times." Software Quality Journal, vol. 27, no. 2, 2019, pp. 757-795, https://doi.org/10.1007/s11219-018-9432-8.