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

Donaldson, A. F., Kaiser, A., Kroening, D., Tautschnig, M., & Wahl, T. (2012). Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods in System Design: An International Journal, 41(1), 25-44. https://doi.org/10.1007/s10703-012-0155-3

ISO-690 (author-date, English)

DONALDSON, Alastair F., KAISER, Alexander, KROENING, Daniel, TAUTSCHNIG, Michael und WAHL, Thomas, 2012. Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods in System Design: An International Journal. 1 August 2012. Vol. 41, no. 1, p. 25-44. DOI 10.1007/s10703-012-0155-3.

Modern Language Association 9th edition

Donaldson, A. F., A. Kaiser, D. Kroening, M. Tautschnig, und T. Wahl. „Counterexample-Guided Abstraction Refinement for Symmetric Concurrent Programs“. Formal Methods in System Design: An International Journal, Bd. 41, Nr. 1, August 2012, S. 25-44, https://doi.org/10.1007/s10703-012-0155-3.

Mohr Siebeck - Recht (Deutsch - Österreich)

Donaldson, Alastair F./Kaiser, Alexander/Kroening, Daniel/Tautschnig, Michael/Wahl, Thomas: Counterexample-guided abstraction refinement for symmetric concurrent programs, Formal Methods in System Design: An International Journal 2012, 25-44.

Emerald - Harvard

Donaldson, A.F., Kaiser, A., Kroening, D., Tautschnig, M. und Wahl, T. (2012), „Counterexample-guided abstraction refinement for symmetric concurrent programs“, Formal Methods in System Design: An International Journal, Vol. 41 No. 1, S. 25-44.

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