Вы здесь
Quintarelli E.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Graph Transformation for Merging User Navigation Histories | 2004 | Gala M. M., Quintarelli E., Tanca L. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 15.09.2004 | ||
| М | Model-Checking Based Data Retrieval | 2004 | Quintarelli E. | Lecture Notes in Computer Science | 05.03.2004 | |||
| СТ | Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking | 2001 | Giacobazzi R., Quintarelli E. | Lecture Notes in Computer Science | 31.07.2001 |