Вы здесь
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 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever | 2010 | Lecture Notes in Computer Science |
|
12.05.2010 | |||
| СБ | FM 2009: Formal Methods: Proc./2nd World Congress. Eindhoven, The Netherlands, November 2009 | 2009 | Lecture Notes in Computer Science |
|
21.11.2009 | |||
| СБ | Theoretical and Practical Aspects of SPIN Model Checking: Proc./5th and 6th Intern. SPIN Workshops, Trento, Italy, July 1999; Toulouse, France, September 1999 | 1999 | Lecture Notes in Computer Science |
|
26.10.1999 |