Mohammad A. Noureddine - Publications, H-index & Citations | 科言猫

未登录

返回

M

Mohammad A. Noureddine

University of Illinois System

6H指数

13论文数

255被引数

收录论文 1

发表时间

Model Checking Software with First Order Logic Specifications Using AIG Solvers

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2016-08-01

5

PREAI

Noureddine, Mohammad A.; Zaraket, Fadi A.

分享

收藏