ISO-690 (author-date, English)

DENG, Yuxin und MONIN, Jean-François, 2009. Verifying Self-stabilizing Population Protocols with Coq. In: . 1 Juli 2009.

Elsevier - Harvard (with titles)

Deng, Y., Monin, J.-F., 2009. Verifying Self-stabilizing Population Protocols with Coq, in: . https://doi.org/10.1109/TASE.2009.9

American Psychological Association 7th edition

Deng, Y., & Monin, J.-F. (2009, Juli 1). Verifying Self-stabilizing Population Protocols with Coq. https://doi.org/10.1109/TASE.2009.9

Springer - Basic (author-date)

Deng Y, Monin J-F (2009) Verifying Self-stabilizing Population Protocols with Coq

Juristische Zitierweise (Stüber) (Deutsch)

Deng, Yuxin/ Monin, Jean-François, Verifying Self-stabilizing Population Protocols with Coq, 2009, .

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