Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

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

ISO-690 (author-date, English)

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

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.

Mohr Siebeck - Recht (Deutsch - Österreich)

Leue, Stefan/Wei, Wei: Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems, Konstanz 2011.

Emerald - Harvard

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

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