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

Attie, P. C. (2016). Synthesis of large dynamic concurrent programs from dynamic specifications. Formal Methods in System Design: An International Journal, 48(1-2), 94-147. https://doi.org/10.1007/s10703-016-0252-9

ISO-690 (author-date, English)

ATTIE, Paul C., 2016. Synthesis of large dynamic concurrent programs from dynamic specifications. Formal Methods in System Design: An International Journal. 1 April 2016. Vol. 48, no. 1-2, p. 94-147. DOI 10.1007/s10703-016-0252-9.

Modern Language Association 9th edition

Attie, P. C. „Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications“. Formal Methods in System Design: An International Journal, Bd. 48, Nr. 1-2, April 2016, S. 94-147, https://doi.org/10.1007/s10703-016-0252-9.

Mohr Siebeck - Recht (Deutsch - Österreich)

Attie, Paul C.: Synthesis of large dynamic concurrent programs from dynamic specifications, Formal Methods in System Design: An International Journal 2016, 94-147.

Emerald - Harvard

Attie, P.C. (2016), „Synthesis of large dynamic concurrent programs from dynamic specifications“, Formal Methods in System Design: An International Journal, Vol. 48 No. 1-2, S. 94-147.

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