Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-2 of 2 (Search time: 0.003 seconds).
  • previous
  • 1
  • next
Item hits:
動的ハイブリッドCEGAR検証器の開発 (理論計算機科学の新展開)
  柳瀬, 龍, 酒井, 辰典, 酒井, 誠, 山根, 智 (2013-08)
  数理解析研究所講究録, 1849: 64-70
file type icon 
Java言語による確率時間CEGAR検証器の開発 (理論計算機科学の新展開)
  小池, 脩平, 長谷川, 尭志, 清水, 隆也, 山根, 智 (2013-08)
  数理解析研究所講究録, 1849: 71-76
file type icon