ISO-690 (author-date, English)

ACHTERBERG, Tobias, BRINKMANN, Raik und WEDLER, Markus, 2007. Property checking with constraint integer programming. Berlin-Dahlem: Konrad-Zuse-Zentrum für Informationstechnik.

Elsevier - Harvard (with titles)

Achterberg, T., Brinkmann, R., Wedler, M., 2007. Property checking with constraint integer programming, ZIB-Report / Konrad-Zuse-Zentrum für Informationstechnik Berlin. Konrad-Zuse-Zentrum für Informationstechnik, Berlin-Dahlem.

American Psychological Association 7th edition

Achterberg, T., Brinkmann, R., & Wedler, M. (ca. 2007). Property checking with constraint integer programming [Cd]. In ZIB-Report / Konrad-Zuse-Zentrum für Informationstechnik Berlin. Konrad-Zuse-Zentrum für Informationstechnik.

Springer - Basic (author-date)

Achterberg T, Brinkmann R, Wedler M (2007) Property checking with constraint integer programming. Konrad-Zuse-Zentrum für Informationstechnik, Berlin-Dahlem

Juristische Zitierweise (Stüber) (Deutsch)

Achterberg, Tobias/ Brinkmann, Raik/ Wedler, Markus, Property checking with constraint integer programming, Berlin-Dahlem 2007.

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