[INdAM-GNCS] Logica e Automi per il Model-Checking Intervallare Project Funding: Other - NationalProject Timeframe: 31 Jan 2017 to 30 Jan 2018ISTC Contact Person: Amedeo CestaGroup & ISTC Labs: Planning and Scheduling Technology Laboratory