Browse by Authors and Editors
Number of items: 1. Nguyen, Hoang Nga, Alechina, Natasha, Logan, Brian and Rakib, Abdur (2015) Alternating-time temporal logic with resource bounds. Journal of Logic and Computation . pp. 1-33. ISSN 0955-792X |
Browse by Authors and Editors
Number of items: 1. Nguyen, Hoang Nga, Alechina, Natasha, Logan, Brian and Rakib, Abdur (2015) Alternating-time temporal logic with resource bounds. Journal of Logic and Computation . pp. 1-33. ISSN 0955-792X |
