Вы здесь

Dams D.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Shape Analysis through Predicate Abstraction and Model Checking 2003 Dams D., Namjoshi K. S. Lecture Notes in Computer Science 31.01.2003
СТ Abstraction in Software Model Checking: Principles and Practice 2002 Dams D. Lecture Notes in Computer Science 01.05.2002
СТ Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis 1991 Codish M., Dams D., Yardeni E. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ Generation of Reduced Models for Checking Fragments of CTL 1993 Dams D., Grumberg O., Gerth R. Lecture Notes in Computer Science 20.08.1993