|
[AA10]
M. Akbarzadeh and M. Azgomi.
A framework for probabilistic model checking of security protocols using coloured stochastic activity networks and PDETool.
In Proc. 5th International Symposium on Telecommunications (IST'10), pages 210-215.
2010.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|