Вы здесь

Iyer P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Approach to Unfolding Asynchronous Communication Protocols 2005 Lei Y., Iyer P. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.11.2005
СТ Probabilistic Temporal Logics via the Modal Mu-Calculus 1999 Narasimha M., Cleaveland R., Iyer P. Lecture Notes in Computer Science 02.04.1999
СТ Optimality in Abstractions of Model Checking 1995 Cleaveland R., Iyer P., Yankelevich D. Lecture Notes in Computer Science Static Analysis 16.11.1995