State of Büchi complementation

Journal

Logical Methods in Computer Science

Journal Volume

10

Journal Issue

4

Date Issued

2014

Author(s)

Fogarty, S.

Vardi, M.Y.

DOI

10.2168/LMCS-10(4:13)2014

URI

http://www.scopus.com/inward/record.url?eid=2-s2.0-84919681373&partnerID=MN8TOARS

http://scholars.lib.ntu.edu.tw/handle/123456789/384991

Type

journal article