Cite
HARVARD Citation
LOPEZ-GARCIA, P. et al. (2018). Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Theory and practice of logic programming. 18 (2), pp. 167-223. [Online].