Вы здесь

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