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