Вы здесь

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
  1. Bouquet P.
  2. Serafini L.
  3. Brezillon P.
  4. Benerecetti M.
30.09.1999