VANDIN, ANDREA

VANDIN, ANDREA  

Mostra records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 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