Sfoglia per Autore Delzanno, Giorgio
Mostrati risultati da 1 a 3 di 3
Beyond parameterized verification
2002-01-01 Bozzano, Marco; Delzanno, Giorgio
An effective fixpoint semantics for linear logic programs
2002-01-01 Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio
Algorithmic Verification of Invalidation-Based Protocols
2002-01-01 Bozzano, Marco; Delzanno, Giorgio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Beyond parameterized verification | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio | |
An effective fixpoint semantics for linear logic programs | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio | |
Algorithmic Verification of Invalidation-Based Protocols | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile