Profil

LI Qian

Main Referenced Co-authors
MAUW, Sjouke  (1)
PANG, Jun  (1)
SCHAFFER, Peter  (1)
Main Referenced Disciplines
Computer science (1)

Publications (total 1)

The most downloaded
62 downloads
Li, Q., Schaffer, P., Pang, J., & Mauw, S. (2012). Comparative analysis of clustering protocols with probabilistic model checking. In Proc. 6th International Symposium on Theoretical Aspects of Software Engineering (pp. 249-252). IEEE Computer Society. doi:10.1109/TASE.2012.28 https://hdl.handle.net/10993/211

The most cited

4 citations (Scopus®)

Li, Q., Schaffer, P., Pang, J., & Mauw, S. (2012). Comparative analysis of clustering protocols with probabilistic model checking. In Proc. 6th International Symposium on Theoretical Aspects of Software Engineering (pp. 249-252). IEEE Computer Society. doi:10.1109/TASE.2012.28 https://hdl.handle.net/10993/211

Li, Q., Schaffer, P., Pang, J., & Mauw, S. (2012). Comparative analysis of clustering protocols with probabilistic model checking. In Proc. 6th International Symposium on Theoretical Aspects of Software Engineering (pp. 249-252). IEEE Computer Society. doi:10.1109/TASE.2012.28
Peer reviewed

Contact ORBilu