Вы здесь
Piazza C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | CoPS - Checker of Persistent Security | 2004 | Piazza C., Pivato E., Rossi S. | Lecture Notes in Computer Science | 15.05.2004 | |||
| СТ | Banana - A Tool for Boudary Ambients Nesting ANAlysis | 2003 | Braghin C., Cortesi A., Fillippone S., Focardi C., Luccio F. L., Piazza C. | Lecture Notes in Computer Science | 17.04.2003 | |||
| СТ | Bisimulation and Unwinding for Verifying Possibilistic Security Properties | 2003 | Bossi A., Focardi R., Piazza C., Rossi S. | Lecture Notes in Computer Science | 31.01.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Hybrid Systems Biology: Revised Selected Papers/2nd International Workshop, HSB 2013, Taormina, Italy, September 2013 and 3rd International Workshop, HSB 2014, Vienna, Austria, July 2014 | 2015 | Lecture Notes in Bioinformatics |
|
05.05.2016 | |||
| СБ | Formal Methods in Macro-Biology: Proc./1st International Conference, FMMB 2014, Noumea, New Caledonia, September 2014 | 2014 | Lecture Notes in Bioinformatics |
|
07.10.2014 |