Вы здесь

Namjoshi K. S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Lifting Temporal Proofs through Abstractions 2003 Namjoshi K. S. Lecture Notes in Computer Science 31.01.2003
СТ Shape Analysis through Predicate Abstraction and Model Checking 2003 Dams D., Namjoshi K. S. Lecture Notes in Computer Science 31.01.2003
СТ Visual Specifications for Modular Reasoning about Asynchronous Systems 1900 Amla N., Emerson E. A., Namjoshi K. S., Trefler R. J. Lecture Notes in Computer Science 29.11.2002