文献
J-GLOBAL ID:201202200923948402
整理番号:12A0799067
確率時間CEGARの開発とその実証実験
Development and Experiments of Probabilistic Timed CEGAR
著者 (3件):
清水隆也
(金沢大 大学院自然科学研究科)
,
森下篤
(金沢大 大学院自然科学研究科)
,
山根智
(金沢大 大学院自然科学研究科)
資料名:
情報処理学会論文誌トランザクション(CD-ROM)
(情報処理学会論文誌 Computer Vision and Applications(CD-ROM))
巻:
2011
号:
2
ページ:
ROMBUNNO.PUROGURAMINGU,VOL.5,NO.2,43-66
発行年:
2012年04月15日
JST資料番号:
L7379A
ISSN:
1882-7772
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)