文献
J-GLOBAL ID:201302256593504920
整理番号:13A0702916
Buechiストア:ω-オートマトンのオープンリポジトリ
Buechi Store: an open repository of ω-automata
著者 (5件):
TSAY Yih-Kuen
(National Taiwan Univ., Dep. of Information Management, Taipei, Taiwan)
,
TSAI Ming-Hsien
(National Taiwan Univ., Dep. of Information Management, Taipei, Taiwan)
,
CHANG Jinn-Shu
(National Taiwan Univ., Dep. of Information Management, Taipei, Taiwan)
,
CHANG Yi-Wen
(National Taiwan Univ., Dep. of Information Management, Taipei, Taiwan)
,
LIU Chi-Shiang
(National Taiwan Univ., Dep. of Information Management, Taipei, Taiwan)
資料名:
International Journal on Software Tools for Technology Transfer
(International Journal on Software Tools for Technology Transfer)
巻:
15
号:
2
ページ:
109-123
発行年:
2013年04月
JST資料番号:
W1267A
ISSN:
1433-2779
資料種別:
逐次刊行物 (A)
発行国:
ドイツ (DEU)
言語:
英語 (EN)