Вы здесь

Aziz A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ It Usually Works: The Temporal Logic of Stochastic Systems 1995 Aziz A., Singhal V., Balarin F., Brayton R. K., Sangiovanni-Vincentelli A. L. Lecture Notes in Computer Science 27.07.1995
СТ Supervisory Control of Finite State Machines 1995 Aziz A., Balarin F., Brayton R. K., Dibenedetto M. D., Saldanha A., Sangiovanni-Vincentelli A. L. Lecture Notes in Computer Science 27.07.1995
СТ Equivalence for Fair Kripke Structures 1994 Aziz A., Singhal V., Balarin F. Lecture Notes in Computer Science 11.08.1994
СТ Formula-Dependent Equivalence for Compositional CTL Model Checking 1994 Aziz A., Shiple T. R., Singhal V., Sangiovanni-Vincentelli A. L. Lecture Notes in Computer Science 28.07.1994