A constraint-based language for modelling intelligent environmentsJan 2, 2017·Maria-Del-Mar Gallardo,Leticia Lavado,Laura Panizo,And Laura Titolo· 0 min read Cite DOITypeJournal articlePublicationJournal of Reliable Intelligent Environments, Volume 3(1)Last updated on Jan 2, 2017 ← A Formal Analysis of the Compact Position Reporting Algorithm Jun 22, 2017A program analysis framework for tccp based on abstract interpretation Jan 1, 2017 →