Abdur Rakib. (2012). Formal Approaches to Modelling and Verifying Resource-bounded Agents-state of the Art and Future Prospects. Journal of Information Technology & Software Engineering. https://doi.org/10.4172/2165-7866.1000 e109
ISO-690 (author-date, English)ABDUR RAKIB, 2012. Formal Approaches to Modelling and Verifying Resource-bounded Agents-state of the Art and Future Prospects. Journal of Information Technology & Software Engineering. 1 January 2012. DOI 10.4172/2165-7866.1000 e109.
Modern Language Association 9th editionAbdur Rakib. “Formal Approaches to Modelling and Verifying Resource-Bounded Agents-State of the Art and Future Prospects”. Journal of Information Technology & Software Engineering, Jan. 2012, https://doi.org/10.4172/2165-7866.1000 e109.
Mohr Siebeck - Recht (Deutsch - Österreich)Abdur Rakib: Formal Approaches to Modelling and Verifying Resource-bounded Agents-state of the Art and Future Prospects, Journal of Information Technology & Software Engineering 2012,
Emerald - HarvardAbdur Rakib. (2012), “Formal Approaches to Modelling and Verifying Resource-bounded Agents-state of the Art and Future Prospects”, Journal of Information Technology & Software Engineering, available at:https://doi.org/10.4172/2165-7866.1000 e109.