Delzanno, Giorgio
Delzanno, Giorgio
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
Algorithmic Verification of Invalidation-Based Protocols
2002-01-01 Bozzano, Marco; Delzanno, Giorgio
An effective fixpoint semantics for linear logic programs
2002-01-01 Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio
Beyond parameterized verification
2002-01-01 Bozzano, Marco; Delzanno, Giorgio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Algorithmic Verification of Invalidation-Based Protocols | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio | |
An effective fixpoint semantics for linear logic programs | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio | |
Beyond parameterized verification | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio |