Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Management / 管理學院
Information Management / 資訊管理學系
Büchi Store: An open repository of ω-automata
Details
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)
YIH-KUEN TSAY
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