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