RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.259 secondi).
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
Counting Constraints in Flat Array Fragments | 2016 | S. GhilardiE. Pagani + | Article (author) | - |
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.259 secondi).
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
Opzioni
Scopri
Tipologia
- Article (author) 1
Data di pubblicazione
- 2016 1
Settore disciplinare
- Settore INF/01 - Informatica 1
Keyword
- model checking 1
- Presburger arithmetic 1
- validation of distributed algorithms 1
Lingua
- eng 1
Accesso al fulltext
- open 1