2024-03-29T08:40:19Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00028161
2024-02-06T00:48:22Z
152:1945
3:62:5591:402
Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras
Andrade, Jefferson O.
亀山, 幸義
カメヤマ, ユキヨシ
KAMEYAMA, Yukiyoshi
open access
© 2012 The Institute of Electronics, Information and Communication Engineers
電子情報通信学会
Institute of Electronics, Information and Communication Engineers
2012-05
eng
journal article
VoR
http://hdl.handle.net/2241/118271
https://tsukuba.repo.nii.ac.jp/records/28161
https://doi.org/10.1587/transinf.E95.D.1355
0916-8532
AA10826272
IEICE Transactions on Information and Systems
E95-D
5
1355
1364
https://tsukuba.repo.nii.ac.jp/record/28161/files/IEICE_E95D-5.pdf
application/pdf
826.8 kB
2013-12-25