Вы здесь

Fishman D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Reasoning with Pemporal Logic on Truncated Paths 2003 Eisner C., Fishman D., Havlicek J., Lustig Y. Lecture Notes in Computer Science 19.09.2003