Вы здесь

Delzanno G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Objects in Forum 1995 Delzanno G., Martelli M. Logic Programming: Proc. of the Intern. Symp. 24.04.1996
СТ A Linear Logic Calculus of Objects 1996 Bugliesi M., Delzanno G., Liquori L., Martelli M. Logic Programming 12.03.1998
СТ Constraint-Based Analysis of Broadcast Protocols 1999 Delzanno G., Esparza J., Podelski A. Lecture Notes in Computer Science 12.11.1999
СТ Model Checking in CLP 1999 Delzanno G., Podelski A. Lecture Notes in Computer Science 08.04.1999
СТ Multi-agent Systems Development as a Software Engineering Enterprise 1999 Bozzano M., Delzanno G., Martelli M., Mascardi V., Zini F. Lecture Notes in Computer Science 16.02.1999
СТ Constraint-Based Verification of Client-Server Protocols 2001 Delzanno G., Bultan T. Lecture Notes in Computer Science 08.11.2001
СТ Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets 2001 Carvajal-Schiaffino R., Delzanno G., Chiola G. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.05.2001
СТ Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and LambdaProlog - A Case-study 2001 Delzanno G. Lecture Notes in Computer Science 06.04.2001
СТ An Effective Bottom-Up Semantics for First-Order Linear Logic Programs 2001 Bozzano M., Delzanno G., Martelli M. Lecture Notes in Computer Science 06.04.2001
СТ Algorithmic Verification of Invalidation-Based Protocols 2002 Bozzano M., Delzanno G. Lecture Notes in Computer Science 31.08.2002
СТ Towards and Automated Verification of Multithreaded Java Programs 2002 Delzanno G., Raskin J. -F., Van Begin L. Lecture Notes in Computer Science 21.05.2002
СТ Beyond Parameterezed Verification 2002 Bozzano M., Delzanno G. Lecture Notes in Computer Science 21.05.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Reachability Problems: Proc./5th International Workshop, RP 2011, Genoa, Italy, September 2011 2011 Lecture Notes in Computer Science
  1. Delzanno G.
  2. Potapov I.
18.10.2011