APA-Zitierstil (7. Ausg.)

Vattakunnel, A. J., Kumar, N. S., & Kumar, G. S. (2016). Modelling and Verification of CoAP over Routing Layer Using SPIN Model Checker. Procedia computer science, 93, 299-308. https://doi.org/10.1016/j.procs.2016.07.214

Chicago-Zitierstil (17. Ausg.)

Vattakunnel, Anchal J., N. Suresh Kumar, und G Santhosh Kumar. "Modelling and Verification of CoAP over Routing Layer Using SPIN Model Checker." Procedia Computer Science 93 (2016): 299-308. https://doi.org/10.1016/j.procs.2016.07.214.

MLA-Zitierstil (9. Ausg.)

Vattakunnel, Anchal J., et al. "Modelling and Verification of CoAP over Routing Layer Using SPIN Model Checker." Procedia Computer Science, vol. 93, 2016, pp. 299-308, https://doi.org/10.1016/j.procs.2016.07.214.