Xiaohong Li (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

24 Anh Tuan Luu, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, Quan Thanh Tho: SeVe: automatic tool for verification of security protocols. Frontiers of Computer Science in China 6(1): 57-75 (2012)

23 Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li: PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. ICFEM 2011: 147-162

Selection of 2 from 25 records - Xiaohong Li has 81 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

24		Anh Tuan Luu, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, Quan Thanh Tho: SeVe: automatic tool for verification of security protocols. Frontiers of Computer Science in China 6(1): 57-75 (2012)
23		Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li: PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. ICFEM 2011: 147-162