Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata
2007-01-01 Segala, Roberto; Turrini, Andrea
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding
2009-01-01 Kramer, S.; Palamidessi, C.; Segala, Roberto; Turrini, Andrea; Braun, C.
Hierarchical and compositional verification of cryptographic protocols
2009-01-01 Turrini, Andrea
Conditional Automata: A Tool for Safe Removal of Negligible Events
2010-01-01 Segala, Roberto; Turrini, Andrea
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata | 1-gen-2007 | Segala, Roberto; Turrini, Andrea | |
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding | 1-gen-2009 | Kramer, S.; Palamidessi, C.; Segala, Roberto; Turrini, Andrea; Braun, C. | |
Hierarchical and compositional verification of cryptographic protocols | 1-gen-2009 | Turrini, Andrea | |
Conditional Automata: A Tool for Safe Removal of Negligible Events | 1-gen-2010 | Segala, Roberto; Turrini, Andrea |
Mostrati risultati da 1 a 4 di 4
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