CUTERI, ANDREA
CUTERI, ANDREA
Dipartimento di Matematica e Informatica
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automata-based LTL_f Satisfiability Checking via ASP | 1-gen-2024 | Cuteri, Andrea; Mazzotta, Giuseppe; Peñaloza, Rafael; Ricca, Francesco |