Alternating-time temporal logic with resource bounds

Date first appeared online	12/06/2015
DOI	10.1093/logcom/exv034
Authors	Nguyen H.
Journal Name	Journal of Logic and Computation
Volume	28

Documents

• 61988.pdf , Book, This is an Open Access article distributed under the terms of the Creative Commons Attribution License