(Q114653853)

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

14 October 2022

title

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (English)

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

14 October 2022

P. LOPEZ-GARCIA

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

14 October 2022

L. DARMAWAN

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

14 October 2022

M. KLEMEN

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

14 October 2022

U. LIQAT

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

14 October 2022

F. BUENO

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

14 October 2022

M. V. HERMENEGILDO

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

14 October 2022

publication date

March 2018

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

Theory and Practice of Logic Programming

14 October 2022

published in

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

14 October 2022

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

14 October 2022

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

14 October 2022

page(s)

167-223

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042

maintained by WikiProject

14 October 2022

WikiProject Mathematics

0 references

Identifiers

10.1017/S1471068418000042

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1017/s1471068418000042