文献
J-GLOBAL ID:200902126016679211
整理番号:96A0839282
ハイブリッド・オートマトンの理論
The Theory of Hybrid Automata.
著者 (1件):
HENZINGER T A
(Univ. California at Berkeley)
資料名:
Proceedings. Annual IEEE Symposium on Logic in Computer Science
(Proceedings. Annual IEEE Symposium on Logic in Computer Science)
巻:
11th
ページ:
278-292
発行年:
1996年
JST資料番号:
W0023A
ISSN:
1043-6871
資料種別:
会議録 (C)
記事区分:
文献レビュー
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)