@InProceedings{NPPW07,
author={G. Norman and C. Palamidessi and D. Parker and P. Wu},
title={Model checking the probabilistic $\pi$-calculus},
booktitle={Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07)},
year={2007},

editor={},
pages={169-178},
organization={},
publisher={IEEE Computer Society},
series={},
volume={},
address={},
month={},
note={},
key={}
}