APA (7th ed.) Citation

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 Style (17th ed.) Citation

Vattakunnel, Anchal J., N. Suresh Kumar, and 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 (9th ed.) Citation

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.