Sfoglia per Autore  VANDIN, ANDREA

Opzioni
Mostrati risultati da 1 a 3 di 3
Titolo Data di pubblicazione Autore(i) Tipo File
BProVe: a Formal Verification Framework for Business Process Models 1-gen-2017 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea Contributo in atto di convegno su volume
BProVe: Tool Support for Business Process Verification 1-gen-2017 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea Contributo in atto di convegno su volume
Formal Approaches for Modeling and Analysis of Business Process Collaborations 1-gen-2024 Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Rossi, Lorenzo; Polini, Andrea; Tiezzi, Francesco; Vandin, Andrea Contributo in atto di convegno su volume
Mostrati risultati da 1 a 3 di 3
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