Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 8 di 8
Titolo Data di pubblicazione Autore(i) File
A specification format for rooted branching bisimulation 1-gen-2014 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A function elimination method for checking satisfiability of arithmetical logics 1-gen-2014 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics 1-gen-2016 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Logical Characterization of Bisimulation Metrics 1-gen-2016 Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
Modal Decomposition on Nondeterministic Probabilistic Processes 1-gen-2016 Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes 1-gen-2017 Castiglioni, Valentina
Logical Characterization of Trace Metrics 1-gen-2017 Castiglioni, Valentina; Tini, Simone
SOS-BASED MODAL DECOMPOSITION ON NONDETERMINISTIC PROBABILISTIC PROCESSES 1-gen-2018 Castiglioni, Valentina; Gebler, Daniel; Tini:, Simone
Mostrati risultati da 1 a 8 di 8
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