Gianluca Magnani

1 ta ish

University of Florence

1. Model Checking Interlocking Control Tables

   Alessio Ferrari, Gianluca Magnani, Daniele Grasso +1

   Bob20114 iqtibos

   ABIABI:AkademIndex/2026.other.257164