A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
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