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) deactivate filter: Contributo in Atti Convegno (Proceeding) 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)
