Model-checking for Resource-Bounded ATL with production and consumption of resources
| Date first appeared online | 04/04/2017 |
| DOI | 10.1016/j.jcss.2017.03.008 |
| Authors | Nguyen H. |
| Journal Name | Journal of Computer and System Sciences |
| Volume | 88 |
Documents
- 61979.pdf , Book, © 2017 The Authors. Published by Elsevier Inc. This is an open access article under the CC BY license