Tao Zhang (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

257 Shaobin Huang, Hongtao Huang, Zhiyuan Chen, Tian-yang Lv, Tao Zhang: Lazy Slicing for State-Space Exploration. J. Comput. Sci. Technol. 27(4): 872-890 (2012)

248 Tao Zhang, Shaobin Huang, Tian-yang Lv, Hongtao Huang: Specification and verification of policy using RAISE and modelchecking. BMEI 2011: 2082-2086

Selection of 2 from 268 records - Tao Zhang has 450 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

257		Shaobin Huang, Hongtao Huang, Zhiyuan Chen, Tian-yang Lv, Tao Zhang: Lazy Slicing for State-Space Exploration. J. Comput. Sci. Technol. 27(4): 872-890 (2012)
248		Tao Zhang, Shaobin Huang, Tian-yang Lv, Hongtao Huang: Specification and verification of policy using RAISE and modelchecking. BMEI 2011: 2082-2086