Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources
- Natasha Alechina
- , Brian Logan
- , Hoang Nga Nguyen
- , Franco Raimondi
- University of Nottingham
- Middlesex University
Research output: Contribution to journal › Article › peer-review
25
Link opens in a new tab
Citations
(Scopus)
82
Downloads
(Pure)