ISO-690 (author-date, English)

AKARTE, Harishchandra A. and YADAV, Dharmendra K., 2023. Packet processing and data plane program verification: A survey with tools, techniques, and challenges. International Journal of Communication Systems. 25 September 2023. Vol. 36, no. 14, p. 1-27. DOI 10.1002/dac.5554.

Elsevier - Harvard (with titles)

Akarte, H.A., Yadav, D.K., 2023. Packet processing and data plane program verification: A survey with tools, techniques, and challenges. International Journal of Communication Systems 36, 1-27. https://doi.org/10.1002/dac.5554

American Psychological Association 7th edition

Akarte, H. A., & Yadav, D. K. (2023). Packet processing and data plane program verification: A survey with tools, techniques, and challenges. International Journal of Communication Systems, 36(14), 1-27. https://doi.org/10.1002/dac.5554

Springer - Basic (author-date)

Akarte HA, Yadav DK (2023) Packet processing and data plane program verification: A survey with tools, techniques, and challenges.. International Journal of Communication Systems 36:1-27. https://doi.org/10.1002/dac.5554

Juristische Zitierweise (Stüber) (Deutsch)

Akarte, Harishchandra A./ Yadav, Dharmendra K., Packet processing and data plane program verification: A survey with tools, techniques, and challenges., International Journal of Communication Systems 2023, 1-27.

Warning: These citations may not always be 100% accurate.