Вы здесь

Bertrand N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness 2006 Baier Ch., Bertrand N., Schnoebelen Ph. Lecture Notes in Computer Science Lecture Notes in Computer Science 11.01.2007

Редактор: