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 / 資訊管理學系
Tool support for learning Büchi automata and linear temporal logic
Details
Tool support for learning Büchi automata and linear temporal logic
Journal
Formal Aspects of Computing
Journal Volume
21
Journal Issue
3
Pages
259-275
Date Issued
2009
Author(s)
YIH-KUEN TSAY
Chen, Y.-F.
Tsai, M.-H.
Wu, K.-N.
Chan, W.-C.
Luo, C.-J.
Chang, J.-S.
DOI
10.1007/s00165-008-0091-6
URI
http://www.scopus.com/inward/record.url?eid=2-s2.0-63749103168&partnerID=MN8TOARS
http://scholars.lib.ntu.edu.tw/handle/123456789/347391
Type
journal article