Shao Jie Zhang (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong: On Combining State Space Reductions with Global Fairness Assumptions. FM 2011: 432-447

1 Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu: Formal Verification of Scalable NonZero Indicators. SEKE 2009: 406-411

Selection of 2 from 5 records - Shao Jie Zhang has 8 coauthors

Last update 2012-02-18 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

5		Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong: On Combining State Space Reductions with Global Fairness Assumptions. FM 2011: 432-447
1		Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu: Formal Verification of Scalable NonZero Indicators. SEKE 2009: 406-411