We present a lazy execution algorithm for ATL, and we empirically evaluate a prototype implementation. ... Technical report, UU-CS (2003)Google Scholar ...
確定! 回上一頁