確率時間CEGARの開発とその実証実験
確率時間CEGARの開発とその実証実験
复制标题
随机时间CEGAR的研制及其论证实验
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
清水隆也，森下篤，山根 智
中科院分区：
文献类型：
--
作者：
Ryo Yanase;T. Sakai;M. Sakai;S. Yamane;伊藤公一，片山喜章，和田幸一;八木渉，片山喜章，和田幸一;清水 裕亮,櫻井 孝平,山根 智;清水隆也，森下篤，山根 智
