Sfoglia per Rivista ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Mostrati risultati da 1 a 12 di 12
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols
2005-01-01 Armando, Alessandro; Compagna, L.
Architecting Fault-tolerant Component-based Systems: from requirements to testing
2007-01-01 Bucchiarone, Antonio; Muccini, Henry; Pelliccione, Patrizio
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic
2016-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Model Checking Linear Programs with Arrays
2006-01-01 Armando, Alessandro; Benerecetti, M.; Mantovani, J.
Modelling Dynamic Software Architectures using Typed Graph Grammars
2008-01-01 Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Melgratti, Hernán
On the Relations between Disjunctive and Linear Logic Programming
2001-01-01 Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio
Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis
2005-01-01 Armando, Alessandro; Viganò, L.
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
2006-01-01 Armando, Alessandro; Cimatti, Alessandro
Preface
2007-01-01 Roderick, Bloem; Roveri, Marco; Fabio, Somenzi
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction"
1999-01-01 Armando, Alessandro; Jabelean, T.
The Control Component of Open Mechanized Reasoning Systems
1999-01-01 Armando, Alessandro; Coglio, A.; Giunchiglia, F.
TSAT++: an Open Platform for Satisfiability Modulo Theories
2005-01-01 Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Idini, M.; Maratea, M.
Mostrati risultati da 1 a 12 di 12
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