Sfoglia per Rivista
Causality and Temporal Dependencies in the Design of Fault Management Systems
2017-01-01 Bozzano, Marco
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Efficient parallel statistical model checking of biochemical networks
2009-01-01 Ballarini, P.; Forlin, M.; Mazza, T.; Prandi, D.
Expressiveness of Extended Bounded Response LTL
2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Unique Solutions of Contractions, CCS, and their HOL Formalisation
2018-01-01 Tian, Chun; Sangiorgi, Davide
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