Formal Approaches to Modelling and Verifying Resource-bounded Agents-state of the Art and Future Prospects

Abdur Rakib
2012 Journal of Information Technology & Software Engineering  
Citation: Rakib A (2012) Formal Approaches to Modelling and Verifying Resourcebounded Agents─state of the Art and Future Prospects. J Inform Tech Softw Eng 2:e109.
doi:10.4172/2165-7866.1000e109 fatcat:tgrwjtf5jvfphj3sl2sfvh3kpm