ISO-690 (author-date, English)

CHEN, Meixian und MONIN, Jean-Francois, 2012. Formal Verification of Netlog Protocols. In: . 1 Juli 2012.

Elsevier - Harvard (with titles)

Chen, M., Monin, J.-F., 2012. Formal Verification of Netlog Protocols, in: . https://doi.org/10.1109/TASE.2012.19

American Psychological Association 7th edition

Chen, M., & Monin, J.-F. (2012, Juli 1). Formal Verification of Netlog Protocols. https://doi.org/10.1109/TASE.2012.19

Springer - Basic (author-date)

Chen M, Monin J-F (2012) Formal Verification of Netlog Protocols

Juristische Zitierweise (Stüber) (Deutsch)

Chen, Meixian/ Monin, Jean-Francois, Formal Verification of Netlog Protocols, 2012, .

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