Вы здесь

Loreti M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ AGILE: Software Architecture for Mobility 2003 Andrade L., Baldan P., Baumeister H., Bruni R., De Nicola R., Fiadeiro J. L., Gadducci F., Gnesi S., Hoffman P., Koch N., Kosiuczenko P., Lapadula A., Latella D., Lopes A., Loreti M., Massink M., Mazzanti U., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. Lecture Notes in Computer Science 14.01.2004
СТ Formalizing Properties of Mobile Agent Systems 2002 Bettini L., De Nicola R., Loreti M. Lecture Notes in Computer Science 12.06.2002
СТ A Modal Logic for KLAIM 2000 De Nicola R., Loreti M. Lecture Notes in Computer Science 17.06.2000