American Psychological Association 6th edition

Ganguly, R., Momtaz, A., & Bonakdarpour, B. (2024). Runtime verification of partially-synchronous distributed system. Formal Methods in System Design: An International Journal, 64(1), 146-177. https://doi.org/10.1007/s10703-024-00450-5

ISO-690 (author-date, English)

GANGULY, Ritam, MOMTAZ, Anik und BONAKDARPOUR, Borzoo, 2024. Runtime verification of partially-synchronous distributed system. Formal Methods in System Design: An International Journal. 1 Dezember 2024. Vol. 64, no. 1, p. 146-177. DOI 10.1007/s10703-024-00450-5.

Modern Language Association 9th edition

Ganguly, R., A. Momtaz, und B. Bonakdarpour. „Runtime Verification of Partially-Synchronous Distributed System“. Formal Methods in System Design: An International Journal, Bd. 64, Nr. 1, Dezember 2024, S. 146-77, https://doi.org/10.1007/s10703-024-00450-5.

Mohr Siebeck - Recht (Deutsch - Österreich)

Ganguly, Ritam/Momtaz, Anik/Bonakdarpour, Borzoo: Runtime verification of partially-synchronous distributed system, Formal Methods in System Design: An International Journal 2024, 146-177.

Emerald - Harvard

Ganguly, R., Momtaz, A. und Bonakdarpour, B. (2024), „Runtime verification of partially-synchronous distributed system“, Formal Methods in System Design: An International Journal, Vol. 64 No. 1, S. 146-177.

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