Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 8 a 13 di 13
Titolo Data di pubblicazione Autore(i) Tipo File
Monitoring Spatio-Temporal Properties (Invited Tutorial) 1-gen-2020 Nenzi, L.; Bartocci, E.; Bortolussi, L.; Loreti, M.; Visconti, E. Capitolo di libro o voce di enciclopedia
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 1-gen-2020 Bartocci, E.; Bortolussi, L.; Loreti, M.; Nenzi, L.; Silvetti, S. Capitolo di libro o voce di enciclopedia
PALM: A Technique for Process ALgebraic Specification Mining 1-gen-2020 Belluccini, S.; De Nicola, R.; Re, B.; Tiezzi, F. Contributo in atto di convegno su volume
TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs 1-gen-2021 Corradini, F.; Luciani, C.; Morichetta, A.; Piangerelli, M.; Polini, A. Contributo in atto di convegno su volume
Topological Interpretation of Interactive Computation 1-gen-2019 Merelli, Emanuela; Wasilewska, Anita Capitolo di libro o voce di enciclopedia
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 1-gen-2019 Corradini, Flavio; Morichetta, Andrea; Re, Barbara; Tiezzi, Francesco Contributo in atto di convegno su volume
Mostrati risultati da 8 a 13 di 13
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