文章基本信息
- 标题：Formal Approaches to Modelling and Verifying Resource-bounded Agents-state of the Art and Future Prospects
- 本地全文：下载
- 作者：Abdur Rakib
- 期刊名称：Information Technology & Software Engineering
- 电子版ISSN：2165-7866
- 出版年度：2012
- 卷号：2
- 期号：4
- 页码：1-2
- DOI：10.4172/2165-7866.1000e109
- 出版社：OMICS Group
- 关键词：omics; open access; omics publishing group; open access publisher; open access publishers; open access publications; open access journals; open access artcles; omics group; omicsonline
