@dblp

Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus.

, и . ICCSA (2), том 5593 из Lecture Notes in Computer Science, стр. 605-620. Springer, (2009)

Линки и ресурсы

тэги