Вы здесь

Kurshan R. P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Translating Software Designs for Model Checking 2004 Xie F., Levin V., Kurshan R. P., Browne J. C. Lecture Notes in Computer Science 16.04.2004
СТ Existence of Reduction Hierachies 1998 Kupferman O., Kurshan R. P., Yannakakis M. Lecture Notes in Computer Science 19.06.1998
СТ Modelling Asynchrony with a Synchronous Model 1995 Kurshan R. P., Merritt M., Orda A., Sachs S. R. Lecture Notes in Computer Science 27.07.1995
СТ How Linear Can Branching-time Be? 1994 Grumberg O., Kurshan R. P. Lecture Notes in Artificial Intelligence 11.08.1994
СТ Models Whose Checks Don t Explode 1994 Kurshan R. P. Lecture Notes in Computer Science 28.07.1994
СТ A Structural Linearization Principle for Processes 1993 Kurshan R. P., Merritt M., Orda A., Sachs S. R. Lecture Notes in Computer Science 20.08.1993