APA Citation

Nguyen, H., & Rakib, A. (2023). Formal Modelling and Verification of Probabilistic Resource Bounded Agents. Journal of Logic, Language and Information, 32(5), pp. 829-859. doi:10.1007/s10849-023-09405-1

Chicago Style Citation

Nguyen, Hoang, and Abdur Rakib. "Formal Modelling and Verification of Probabilistic Resource Bounded Agents." Journal of Logic, Language and Information 32, no. 5 (2023): 829-859.

MLA Citation

Nguyen, Hoang, and Abdur Rakib. "Formal Modelling and Verification of Probabilistic Resource Bounded Agents." Journal of Logic, Language and Information 32.5 (2023): 829-859.

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