FRIGERI, ACHILLE
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.002 secondi).
Bounded Reachability for Temporal Logic over Constraint Systems
2010-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
2011-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Definable Sets in weak Presburger arithmetic
2007-01-01 C., Choffrut; Frigeri, Achille
On some classes of 2D-languages and their relations
2011-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Cherubini, Alessandra
Short 3-Collapsing Words over a 2-Letter Alphabet.
2011-01-01 Cherubini, Alessandra; Frigeri, Achille; B., Piochi
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability
2010-01-01 Bersani, MARCELLO MARIA; Cavallaro, Luca; Frigeri, Achille; Pradella, Matteo; Rossi, MATTEO GIOVANNI