Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: 2015
Number of items: 1.

2015

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

This list was generated on Thu Jan 2 08:17:46 2025 UTC.