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.

Elsevier - Harvard (with titles)

Leue, S., Wei, W., 2011. Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems. Bibliothek der Universität Konstanz, Konstanz. 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

Springer - Basic (author-date)

Leue S, Wei W (2011) Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems. Bibliothek der Universität Konstanz, Konstanz

Juristische Zitierweise (Stüber) (Deutsch)

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

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.