Вы здесь
Benerecetti M.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Validation of Multiagent Systems by Symbolic Model Checking | 2003 | Benerecetti M., Cimatti A. | Lecture Notes in Computer Science | 29.03.2003 | |||
СТ | Model Checking-Based Analysis of Multiagent Systems | 2001 | Benerecetti M., Giunchiglia F. | Lecture Notes in Artificial Intelligence | 05.11.2001 | |||
СТ | Model Checking Security Protocols Using a Logic of Belief | 2000 | Benerecetti M., Giunchiglia F. | Lecture Notes in Computer Science | 26.04.2000 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Modeling and Using Context: Proc./Second Intern. and Interdisciplinary Conf., CONTEXT 99. Trento, Italy, September 1999 | 1999 | Lecture Notes in Artificial Intelligence |
|
30.09.1999 |