Вы здесь
De Frutos D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Timed Processes of Timed Petri Nets | 1995 | Valero V., De Frutos D., Cuartero F. | Lecture Notes in Computer Science | 05.07.1995 | |||
| СТ | Acceptance Trees for Probabilistic Processes | 1995 | Nunez M., De Frutos D., Llana L. | Lecture Notes in Computer Science | CONCUR 95: Concurrency Theory | 14.10.1995 |