Vai alla navigazione principale
Vai al contenuto principale
Vai alla ricerca principale

Sant'Anna - Scuola Universitaria Superiore Pisa

Inizio contenuto principale del sito

Professore Associato

Istituto di Economia

Andrea Vandin

andrea.vandin@santannapisa.it
050 883314
Complesso edilizio Sede Centrale

Bio

Please visit my English homepage

https://www.santannapisa.it/en/andrea-vandin

Pubblicazioni

Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A

Modelling and analyzing adaptive self-assembly strategies with Maude Open new browser tab

(2012)
Vandin, A; Luch Lafuente, A

Towards a Maude tool for model checking temporal graph properties Open new browser tab

(2011)
Gadducci, F; Lluch Lafuente, A; Vandin, A

Counterpart semantics for a second-order mu-calculus Open new browser tab

(2010)