Вы здесь
Alborghetti A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Proving Automated Support to Deductive Analysis of Time Critical Systems | 1997 | Alborghetti A., Gargantini A., Morzenti A. | Lecture Notes in Computer Science | 03.10.1997 |