Inizio contenuto principale del sito

Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea

BProVe: Tool Support for Business Process Verification Apre una nuova scheda del browser

(2017)

Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea

BProVe: a Formal Verification Framework for Business Process Models Apre una nuova scheda del browser

(2017)

Doncel, J; Gast, N; Tribastone, M; Tschaikowski, M; Vandin, A

UTOPIC: Under-approximation through optimal control Apre una nuova scheda del browser

(2019)