Вы здесь

Dams D.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Shape Analysis through Predicate Abstraction and Model Checking 2003 Dams D., Namjoshi K. S. Lecture Notes in Computer Science 31.01.2003