@inproceedings{LPSZ09, author = {Y. Liu and J. Pang and J. Sun and J. Zhao}, title = {Verification of population ring protocols in {PAT}}, booktitle = {Proc.\ 3rd IEEE Symposium on Theoretical Aspects of Software Engineering}, publisher = {IEEE Computer Society}, year = {2009}, pages = {81--89}, url = {http://satoss.uni.lu/members/jun/papers/TASE09.pdf} }