Вы здесь

Piterman N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Liveness with Invisible Ranking 2004 Fang Y., Piterman N., Pnueli A., Zuck L. Lecture Notes in Computer Science 12.02.2004