Access count of this item: 70

Files in This Item:
File Description SizeFormat 
1849-13.pdf606.55 kBAdobe PDFView/Open
Title: Java言語による確率時間CEGAR検証器の開発 (理論計算機科学の新展開)
Authors: 小池, 脩平  KAKEN_name
長谷川, 尭志  KAKEN_name
清水, 隆也  KAKEN_name
山根, 智  KAKEN_name
Author's alias: Koike, Shuhei
Hasegawa, Takashi
Shimizu, Takaya
Yamane, Satoshi
Issue Date: Aug-2013
Publisher: 京都大学数理解析研究所
Journal title: 数理解析研究所講究録
Volume: 1849
Start page: 71
End page: 76
Appears in Collections:New Trends in Theoretical Computer Science

Show full item record

Export to RefWorks

Export Format: 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.