Вы здесь
Vaandrager F. W.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| М | Algebraic Techniques for Concurrency and their Application | 1989 | Vaandrager F. W. | Centrum voor Wiskunde en Informatica | 09.06.1995 | |||
| СТ | Proof-Checking a Data Link Protocol | 1994 | Helmink L., Sellink M.P. A., Vaandrager F. W. | Lecture Notes in Computer Science | 21.07.1994 | |||
| СТ | Expressiveness Results for Process Algebras | 1993 | Vaandrager F. W. | Lecture Notes in Computer Science | 11.06.1993 | |||
| СТ | An Algebra for Process Creation | 1992 | Baeten J.C. M., Vaandrager F. W. | Acta Informatica | 01.10.1992 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Modelling and Analysis of Timed Systems: Proc./7th International Conference, FORMATS 2009, Budapest, Hungary, September 2009 | 2009 | Lecture Notes in Computer Science |
|
03.02.2010 | |||
| СБ | Hybrid Systems: Computation and Control: Proc./Second Intern. Workshop, HSCC 99. Berg en Dal, The Netherlands, March 1999 | 1999 | Lecture Notes in Computer Science |
|
02.04.1999 |