Cite Them Right 11th edition - Harvard

Leue, S. und Wei, W. (2011) Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems [cd]. Konstanz: Bibliothek der Universität Konstanz. doi:urn:nbn:de:bsz:352-opus-128468.

Chicago Manual of Style 17th edition (full note)

Leue, Stefan, und Wei Wei. Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems. Cd. Konstanz: Bibliothek der Universität Konstanz, [2011?], Konstanz: Bibliothek der Universität Konstanz, [2011?]. https://doi.org/urn:nbn:de:bsz:352-opus-128468.

American Psychological Association 7th edition

Leue, S., & Wei, W. (ca. 2011). Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems [Cd]. Bibliothek der Universität Konstanz. https://doi.org/urn:nbn:de:bsz:352-opus-128468

Modern Language Association 9th edition

Leue, S., und W. Wei. Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems. cd, Bibliothek der Universität Konstanz, 2011, https://doi.org/urn:nbn:de:bsz:352-opus-128468.

ISO-690 (author-date, Deutsch)

LEUE, Stefan und Wei WEI, 2011. Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems. Konstanz: Bibliothek der Universität Konstanz

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