APA (7th ed.) Citation

Choton, J. C., Gupta, L., & Prabhakar, P. (2024). Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2.

Chicago Style (17th ed.) Citation

Choton, Jahid Chowdhury, Lipsy Gupta, and Pavithra Prabhakar. Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2. 2024.

MLA (9th ed.) Citation

Choton, Jahid Chowdhury, et al. Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2. 2024.