Complete axiomatization and decidability of Alternating-time temporal logic
Valentin Goranko, Govert van DrimmelenVolume:
353
Year:
2006
Language:
english
Pages:
25
DOI:
10.1016/j.tcs.2005.07.043
File:
PDF, 346 KB
english, 2006