Вы здесь
Bianchi A.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | COTS Products Characterization: Proposal and Empirical Assessment | 2003 | Bianchi A., Caivano D., Conradi R., Jaccheri L., Torchiano M., Visaggio G. | Lecture Notes in Computer Science | 20.11.2003 | |||
СТ | An Efficient Verifier of Truly Concurrent Properties | 1995 | Bianchi A., Coluccini S., Degano P., Priami C. | Lecture Notes in Computer Science | Parallel Computing Technologies | 18.10.1995 |