Filkorn T.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	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
СТ	Exploiting Symmetry In Temporal Logic Model Checking	1993	Clarke E. M., Filkorn T., Jha S.				Lecture Notes in Computer Science	20.08.1993