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)

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