Вы здесь
Comon-Lundh H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Easy Intruder Deductions | 2003 | Comon-Lundh H., Treinen R. | Lecture Notes in Computer Science | 26.03.2004 | |||
| СТ | Security Properties: Two Agents Are Sufficient | 2003 | Comon-Lundh H., Cortier V. | Lecture Notes in Computer Science | 16.04.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Rewriting, Computation, and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday | 2007 | Lecture Notes in Computer Science |
|
18.09.2007 |