2024-03-28T17:15:58Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00018706
2024-03-21T04:14:00Z
3:2658:1179
Multi-Valued Bounded Model Checking
Andrade, Jefferson Oliveira
Yonezawa, Takuo
魅力ある大学院教育イニシアティブ:実践IT力を備えた高度情報学人材育成プログラム
technical report
筑波大学
2006
application/pdf
2006年度CSテクニカルレポート・システム開発型研究プロジェクト特集号
https://tsukuba.repo.nii.ac.jp/record/18706/files/2006_04Andrade.pdf
eng
open access