Вы здесь

Hesselink W. H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Нет названия 2007 Hesselink W. H. Acta Informatica 26.06.2007
СТ Angelic Termination ib Dijkstra s Calculus 1995 Hesselink W. H. Lecture Notes in Computer Science 30.03.2002
СТ Bounded Delay for a Free Address 1996 Hesselink W. H. Acta Informatica 12.06.1996
СТ Temporal Preconditions of Recursive Procedures 1993 Hesselink W. H., Reinds R. Lecture Notes in Computer Science 11.06.1993
СТ Processes and Formalisms for Unbounded Choise 1992 Hesselink W. H. Theoretical Computer Science 30.06.1992