https://scholars.lib.ntu.edu.tw/handle/123456789/497133
Title: | A temporal logic for the interaction of strategies | Authors: | Wang, F. Huang, C.-H. Yu, F. FARN WANG |
Issue Date: | 2011 | Journal Volume: | 6901 LNCS | Start page/Pages: | 466-481 | Source: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/497133 | DOI: | 10.1007/978-3-642-23217-6_31 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.