Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras
スポンサーリンク
概要
- 論文の詳細を見る
- 2012-05-01
著者
-
Kameyama Yukiyoshi
The Department Of Computer Science University Of Tsukuba
-
Andrade Jefferson
The Department Of Informatics Campus Serra Federal Institute Of Espirito Santo