APA (7th ed.) Citation

Phawade, R., Prince, T., & Sheerazuddin, S. (2022). Bounded Model Checking for Unbounded Client Server Systems.

Chicago Style (17th ed.) Citation

Phawade, Ramchandra, Tephilla Prince, and S. Sheerazuddin. Bounded Model Checking for Unbounded Client Server Systems. 2022.

MLA (9th ed.) Citation

Phawade, Ramchandra, et al. Bounded Model Checking for Unbounded Client Server Systems. 2022.