VANDIN, ANDREA

VANDIN, ANDREA  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
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