Вы здесь

Turuani M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Probabilistic Polynomial-Time Semantics for a Protocol Security Logic 2005 Datta A., Derek A., Mitchell J. C., Shmatikov V., Turuani M. Lecture Notes in Computer Science Lecture Notes in Computer Science 20.11.2005
СТ On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics 2000 Laroussinie F., Schnoebelen Ph., Turuani M. Lecture Notes in Computer Science 05.05.2000