Hahn, E.M. und Hermanns, H. (2013) Model checking stochastic hybrid systems [cd]. Saarländische Universitäts- und Landesbibliothek. doi:urn:nbn:de:bsz:291-scidok-52591.
Chicago Manual of Style 17th edition (full note)Hahn, Ernst Moritz, und Holger Hermanns. „Model checking stochastic hybrid systems“. Cd. Saarländische Universitäts- und Landesbibliothek, [2013?], Saarländische Universitäts- und Landesbibliothek, [2013?]. https://doi.org/urn:nbn:de:bsz:291-scidok-52591.
American Psychological Association 7th editionHahn, E. M., & Hermanns, H. (ca. 2013). Model checking stochastic hybrid systems [Saarländische Universitäts- und Landesbibliothek; Cd]. https://doi.org/urn:nbn:de:bsz:291-scidok-52591
Modern Language Association 9th editionHahn, E. M., und H. Hermanns. Model checking stochastic hybrid systems. cd, Saarländische Universitäts- und Landesbibliothek, 2013, https://doi.org/urn:nbn:de:bsz:291-scidok-52591.
ISO-690 (author-date, Deutsch)HAHN, Ernst Moritz und Holger HERMANNS, 2013. Model checking stochastic hybrid systems. Saarbrücken: Saarländische Universitäts- und Landesbibliothek