Вы здесь
Filkorn T.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Exploiting Symmetry In Temporal Logic Model Checking | 1993 | Clarke E. M., Filkorn T., Jha S. | Lecture Notes in Computer Science | 20.08.1993 | |||
СТ | Model Checking for Infinite State Systems using Data Abstraction, Assumption-Commitment Style Reasoning and Theorem Proving | 1995 | Dingel J., Filkorn T. | Lecture Notes in Computer Science | 26.07.1995 |