@inproceedings{LSPM12,
  author        = {Q. Li and P. Schaffer and J. Pang and S. Mauw},
  title         = {Comparative analysis of clustering protocols with probabilistic model checking},
  booktitle     = {Proc.\ 6th IEEE Symposium on Theoretical Aspects of Software Engineering (TASE'12)},
  publisher     = {IEEE Computer Society},
  year          = {2012},
  pages         = {249--252},
  url           = {http://satoss.uni.lu/jun/papers/TASE12.pdf},
  ulkey         = {Li:9177}
}