Access count of this item: 53

Files in This Item:
File Description SizeFormat 
1849-12.pdf713.82 kBAdobe PDFView/Open
Title: 動的ハイブリッドCEGAR検証器の開発 (理論計算機科学の新展開)
Authors: 柳瀬, 龍  KAKEN_name
酒井, 辰典  KAKEN_name
酒井, 誠  KAKEN_name
山根, 智  KAKEN_name
Author's alias: Yanase, Ryo
Sakai, Tatsunori
Sakai, Makoto
Yamane, Satoshi
Issue Date: Aug-2013
Publisher: 京都大学数理解析研究所
Journal title: 数理解析研究所講究録
Volume: 1849
Start page: 64
End page: 70
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.