Alternating-time temporal logic with resource bounds
- Hoang Nga Nguyen
- , N. Alechina
- , B. Logan
- , A. Rakib
- University of Nottingham
- University of Nottingham, Malaysia Campus
Research output: Contribution to journal › Article › peer-review
18
Link opens in a new tab
Citations
(Scopus)
77
Downloads
(Pure)