Вы здесь

Fecher H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Don t Know in Probabilistic Systems 2006 Fecher H., Leucker M., Wolf V. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.05.2006
СТ Action Refinement from a Logical Point of View 2003 Majster-Cederbaum M., Zhan N., Fecher H. Lecture Notes in Computer Science 31.01.2003