Professore Associato Istituto di Economia Scarica il curriculum vitae 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 Contributo in Atti Convegno (Proceeding) (62) Contributo su Rivista (26) Contributo in Volume (5) Altro (1) Lluch Lafuente, A; Meseguer, J; Vandin, A State space c-reductions of concurrent systems in rewriting logic Apre una nuova scheda del browser (2012) Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A Modelling and analyzing adaptive self-assembly strategies with Maude Apre una nuova scheda del browser (2012) Vandin, A; Luch Lafuente, A Towards a Maude tool for model checking temporal graph properties Apre una nuova scheda del browser (2011) Gadducci, F; Lluch Lafuente, A; Vandin, A Counterpart semantics for a second-order mu-calculus Apre una nuova scheda del browser (2010)
