文献
J-GLOBAL ID:200902186430722610
整理番号:94A0435798
時間付オートマトン理論
A theory of timed automata.
著者 (2件):
ALUR R
(Stanford Univ., CA, USA)
,
DILL D L
(Stanford Univ., CA, USA)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
126
号:
2
ページ:
183-235
発行年:
1994年04月25日
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)