FAGHIH, FATHIYEH, BONAKDARPOUR, BORZOO, TIXEUIL, SEBASTIÉN und KULKARNI, SANDEEP, 2018. AUTOMATED SYNTHESIS OF DISTRIBUTED SELF-STABILIZING PROTOCOLS. Logical Methods in Computer Science (LMCS). 1 Januar 2018. Vol. 14, no. 1, p. 1-25. DOI 10.23638/LMCS-14(1:12)2018.
Elsevier - Harvard (with titles)FAGHIH, F., BONAKDARPOUR, B., TIXEUIL, S., KULKARNI, S., 2018. AUTOMATED SYNTHESIS OF DISTRIBUTED SELF-STABILIZING PROTOCOLS. Logical Methods in Computer Science (LMCS) 14, 1-25. https://doi.org/10.23638/LMCS-14(1:12)2018
American Psychological Association 7th editionFAGHIH, F., BONAKDARPOUR, B., TIXEUIL, S., & KULKARNI, S. (2018). AUTOMATED SYNTHESIS OF DISTRIBUTED SELF-STABILIZING PROTOCOLS. Logical Methods in Computer Science (LMCS), 14(1), 1-25. https://doi.org/10.23638/LMCS-14(1:12)2018
Springer - Basic (author-date)FAGHIH F, BONAKDARPOUR B, TIXEUIL S, KULKARNI S (2018) AUTOMATED SYNTHESIS OF DISTRIBUTED SELF-STABILIZING PROTOCOLS.. Logical Methods in Computer Science (LMCS) 14:1-25. https://doi.org/10.23638/LMCS-14(1:12)2018
Juristische Zitierweise (Stüber) (Deutsch)FAGHIH, FATHIYEH/ BONAKDARPOUR, BORZOO/ TIXEUIL, SEBASTIÉN/ KULKARNI, SANDEEP, AUTOMATED SYNTHESIS OF DISTRIBUTED SELF-STABILIZING PROTOCOLS., Logical Methods in Computer Science (LMCS) 2018, 1-25.