Fan Zhang (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

109 Min Jiang, Changle Zhou, Fan Zhang, Shu Chen: Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations. CSSE (2) 2008: 263-266

106 Min Jiang, Changle Zhou, Guoqing Wu, Fan Zhang: A CSP-Based Approach for Solving Parity Game. FAW 2008: 135-146

89 Fan Zhang, Guoqing Wu, Min Jiang, Xiaoli Liu: Concerning about Trust of Platform Hardware. PACIIA (2) 2008: 852-856

Selection of 3 from 231 records - Fan Zhang has 369 coauthors

Last update 2012-09-10 CET by the DBLP Team —

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

109		Min Jiang, Changle Zhou, Fan Zhang, Shu Chen: Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations. CSSE (2) 2008: 263-266
106		Min Jiang, Changle Zhou, Guoqing Wu, Fan Zhang: A CSP-Based Approach for Solving Parity Game. FAW 2008: 135-146
89		Fan Zhang, Guoqing Wu, Min Jiang, Xiaoli Liu: Concerning about Trust of Platform Hardware. PACIIA (2) 2008: 852-856