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
24
Link opens in a new tab
Citations
(Scopus)
55
Downloads
(Pure)