Вы здесь
Andova S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Complete Axiomatization of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification | 2006 | Andova S., Baeten J.C. M., Willemse T.A. C. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 28.09.2006 | ||
| СТ | Time and Probability in Process Algebra | 2000 | Andova S. | Lecture Notes in Computer Science | 17.06.2000 | |||
| СТ | Process Algebra with Probabilistic Choice | 1999 | Andova S. | Lecture Notes in Computer Science | 18.06.1999 |