Вы здесь
De Frutos-Escrig D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets | 2006 | Rosa-Velardo F., De Frutos-Escrig D. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 11.01.2007 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Techniques for Networked and Distributed Systems - FORTE 2004: Proc./24th IFIP WG 6.1 International Conference. Madrid, Spain, September 2004 | 2004 | Lecture Notes in Computer Science |
|
21.01.2005 |