Вы здесь

Clarke E. M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Efficient Verification of Parallel Real-Time Systems 1993 Yoneda T., Shibayama A., Schlingloft B. -H., Clarke E. M. Lecture Notes in Computer Science 20.08.1993
СТ Exploiting Symmetry In Temporal Logic Model Checking 1993 Clarke E. M., Filkorn T., Jha S. Lecture Notes in Computer Science 20.08.1993
СТ Symmetry and Induction in Model Checking 1995 Clarke E. M., Jha S. Lecture Notes in Computer Science Computer Science Today 01.12.1995
СТ Verifying Parameterized Networks using Abstraction and Regular Languages 1995 Clarke E. M., Grumberg O., Jha S. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
П Symbol Model Checking 1996 Clarke E. M. Basic Research in Computer Science 21.01.1997
СТ Compositional Reasoning in Model Checking 1998 Berezin S., Campos S., Clarke E. M. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ Multiple State and Single State Tableaux for Combining Local and Global Model Checking 1999 Biere A., Clarke E. M., Zhu Y. Lecture Notes in Computer Science 20.11.1999
М Model Checking 1999 Clarke E. M., Grumberg O., Peled D. A. 11.07.2001
СТ State/Event-Based Software Model Checking 2004 Chaki S., Clarke E. M., Ouaknine J., Sharygina N., Sinha N. Lecture Notes in Computer Science 21.05.2004