Model-checking iterated games

Journal

Acta Informatica

Journal Volume

54

Journal Issue

7

Pages

625-654

Date Issued

2017

Author(s)

Huang, C.-H.

Schewe, S.

DOI

10.1007/s00236-016-0277-y

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/497142

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84982150875&doi=10.1007%2fs00236-016-0277-y&partnerID=40&md5=943066a090ea76559e8189d9b03a048c

Type

journal article