|
СТ |
Algorithmic Verification of Invalidation-Based Protocols |
2002 |
Bozzano M., Delzanno G. |
|
|
|
Lecture Notes in Computer Science |
31.08.2002 |
|
СТ |
Beyond Parameterezed Verification |
2002 |
Bozzano M., Delzanno G. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
|
СТ |
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 |
|
СТ |
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 |
