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
Citácia podle Chicago (17th ed.)Vattakunnel, Anchal J., N. Suresh Kumar, a 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.
Citácia podľa MLA (8th ed.)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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..