TITOLO, Laura
TITOLO, Laura
DIMI - DIPARTIMENTO DI MATEMATICA E INFORMATICA (attivo dal 01/01/1900 al 31/12/2015)
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 secondi).
Abstract diagnosis for TCCP using a linear temporal logic
2014-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
Abstract diagnosis for timed concurrent constraint programs
2011-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages
2014-05-12 Titolo, Laura
Towards an Effective Decision Procedure for LTL formulas with Constraints
2013-01-01 Comini, Marco; Titolo, Laura; Villanueva, Alicia
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstract diagnosis for TCCP using a linear temporal logic | 1-gen-2014 | Comini, Marco; Titolo, Laura; Villanueva, Alicia | |
| Abstract diagnosis for timed concurrent constraint programs | 1-gen-2011 | Comini, Marco; Titolo, Laura; Villanueva, Alicia | |
| An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages | 12-mag-2014 | Titolo, Laura | |
| Towards an Effective Decision Procedure for LTL formulas with Constraints | 1-gen-2013 | Comini, Marco; Titolo, Laura; Villanueva, Alicia |