CLARKE, Edmund M, HENZINGER, Thomas A, VEITH, Helmut und BLOEM, Roderick (Hrsg.). 1 st ed. 2018. Cham: Springer International Publishing. ISBN 9783319105758.
Elsevier - Harvard (with titles)Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (Hrsg.), 2018. Handbook of Model Checking, 1 st ed. 2018. ed. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-319-10575-8
American Psychological Association 7th editionClarke, E. M., Henzinger, T. A., Veith, H., … Bloem, R. (Hrsg.). (ca. 2018). Handbook of Model Checking (1 st ed. 2018) [Cd]. Springer International Publishing. https://doi.org/10.1007/978-3-319-10575-8
Springer - Basic (author-date)Clarke EM, Henzinger TA, Veith H, Bloem R (Hrsg.) (2018) Handbook of Model Checking, 1 st ed. 2018. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Clarke, Edmund M/ Henzinger, Thomas A/ Veith, Helmut/ Bloem, Roderick (Hrsg.), Handbook of Model Checking, 1 st ed. 2018 , Cham 2018.