![](/img/cover-not-exists.png)
[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Model checking the probabilistic pi-calculus
Norman, Gethin, Palamidessi, Catuscia, Parker, David, Wu, PengYear:
2007
Language:
english
DOI:
10.1109/qest.2007.31
File:
PDF, 296 KB
english, 2007