Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Shujuan Jiang, Hongyang Wang, Yanmei Zhang, Meng Xue, Junyan Qian, Miao Zhang. An Approach for Detecting Infeasible Paths Based on a SMT Solver. IEEE Access, 7:69058-69069, 2019. [doi]
Abstract is missing.