Büchi Store: An open repository of ω-automata

Journal

International Journal on Software Tools for Technology Transfer

Journal Volume

15

Journal Issue

2

Pages

109-123

Date Issued

2013

Author(s)

Tsai, M.-H.

Chang, J.-S.

Chang, Y.-W.

Liu, C.-S.

DOI

10.1007/s10009-012-0268-4

URI

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

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

Type

journal article