@InProceedings{AA10,
author={M. Akbarzadeh and M. Azgomi},
title={A framework for probabilistic model checking of security protocols using coloured stochastic activity networks and {PDETool}},
booktitle={Proc. 5th International Symposium on Telecommunications (IST'10)},
year={2010},

editor={},
pages={210-215},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}