@article{oai:tsukuba.repo.nii.ac.jp:00028161, author = {Andrade, Jefferson O. and 亀山, 幸義 and KAMEYAMA, Yukiyoshi}, issue = {5}, journal = {IEICE Transactions on Information and Systems}, month = {May}, pages = {1355--1364}, title = {Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras}, volume = {E95-D}, year = {2012}, yomi = {カメヤマ, ユキヨシ} }