Вы здесь
Semini L.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Logic Based Coordination for Event-Driven Self-healing Distributed Systems | 2004 | Montangero C., Semini L., Semprini S. | Lecture Notes in Computer Science | 17.03.2004 | |||
СТ | Mobile Agents Coordination in Mobadtl | 2000 | Ferrari G., Montangero C., Semini L., Semprini S. | Lecture Notes in Computer Science | 05.10.2000 | |||
СТ | Composing Specifications for Coordination | 1999 | Montangero C., Semini L. | Lecture Notes in Computer Science | 18.05.1999 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of His 65th Birthday | 2019 | Lecture Notes in Computer Science |
|
17.10.2019 |