According to our database1, Long Zhang authored at least 4 papers between 2012 and 2018.
Legend:Book In proceedings Article PhD thesis Other
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks.
Wireless Communications and Mobile Computing, 2018
Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method.
IEEE Access, 2018
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.
Mobile Information Systems, 2017
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction.
The Journal of Supercomputing, 2012