A temporal logic for the interaction of strategies

Wang, F.F.WangHuang, C.-H.C.-H.HuangYu, F.F.YuFARN WANG2020-06-042020-06-042011https://scholars.lib.ntu.edu.tw/handle/123456789/497133A temporal logic for the interaction of strategiesconference paper10.1007/978-3-642-23217-6_312-s2.0-80052907519https://www.scopus.com/inward/record.uri?eid=2-s2.0-80052907519&doi=10.1007%2f978-3-642-23217-6_31&partnerID=40&md5=c51ee1c4da226f88d5c81412a542fd0f