Andrade Jefferson | The Department Of Informatics Campus Serra Federal Institute Of Espirito Santo

スポンサーリンク

概要

• ANDRADE Jefferson O.の詳細を見る
• 同名の論文著者
• The Department Of Informatics Campus Serra Federal Institute Of Espirito Santoの論文著者

関連著者

• Kameyama Yukiyoshi

  The Department Of Computer Science University Of Tsukuba

• Andrade Jefferson

  The Department Of Informatics Campus Serra Federal Institute Of Espirito Santo

著作論文

• Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras

スポンサーリンク