Cite Them Right 11th edition - Harvard

Bendisposto, J.M. (2015) Directed and Distributed Model Checking of B-Specifications [cd]. Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf. doi:urn:nbn:de:hbz:061-20150618-111542-6.

Chicago Manual of Style 17th edition (full note)

Bendisposto, Jens Marco. „Directed and Distributed Model Checking of B-Specifications“. Cd. Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, [2015?], Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, [2015?]. https://doi.org/urn:nbn:de:hbz:061-20150618-111542-6.

American Psychological Association 7th edition

Bendisposto, J. M. (ca. 2015). Directed and Distributed Model Checking of B-Specifications [Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf; Cd]. https://doi.org/urn:nbn:de:hbz:061-20150618-111542-6

Modern Language Association 9th edition

Bendisposto, J. M. Directed and Distributed Model Checking of B-Specifications. cd, Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2015, https://doi.org/urn:nbn:de:hbz:061-20150618-111542-6.

ISO-690 (author-date, Deutsch)

BENDISPOSTO, Jens Marco, 2015. Directed and Distributed Model Checking of B-Specifications. Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.