Inproceedings,
Automatic Inference of Bounds on Resource Consumption.
E. Albert, D. Alonso-Blas, P. Arenas, J. Correas, A. Flores-Montoya, S. Genaim, M. Gómez-Zamalloa, A. Masud, G. Puebla, J. Rojas, G. Román-Díez, and D. Zanardini.FMCO, volume 7866 of Lecture Notes in Computer Science, page 119-144. Springer, (2012)
Meta data
- BibTeX key
- conf/fmco/AlbertAACFGGMPRRZ12
- entry type
- inproceedings
- booktitle
- FMCO
- year
- 2012
- pages
- 119-144
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 7866
- crossref
- conf/fmco/2012
- ee
- https://doi.org/10.1007/978-3-642-40615-7_4
- isbn
- 978-3-642-40614-0
- url
- http://dblp.uni-trier.de/db/conf/fmco/fmco2012.html#AlbertAACFGGMPRRZ12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fmco/AlbertAACFGGMPRRZ12
%A Albert, Elvira
%A Alonso-Blas, Diego Esteban
%A Arenas, Puri
%A Correas, Jesús
%A Flores-Montoya, Antonio
%A Genaim, Samir
%A Gómez-Zamalloa, Miguel
%A Masud, Abu Naser
%A Puebla, German
%A Rojas, José Miguel
%A Román-Díez, Guillermo
%A Zanardini, Damiano
%B FMCO
%D 2012
%E Giachino, Elena
%E Hähnle, Reiner
%E de Boer, Frank S.
%E Bonsangue, Marcello M.
%I Springer
%K dblp
%P 119-144
%T Automatic Inference of Bounds on Resource Consumption.
%U http://dblp.uni-trier.de/db/conf/fmco/fmco2012.html#AlbertAACFGGMPRRZ12
%V 7866
%@ 978-3-642-40614-0
@inproceedings{conf/fmco/AlbertAACFGGMPRRZ12,
added-at = {2024-05-07T00:00:00.000+0200},
author = {Albert, Elvira and Alonso-Blas, Diego Esteban and Arenas, Puri and Correas, Jesús and Flores-Montoya, Antonio and Genaim, Samir and Gómez-Zamalloa, Miguel and Masud, Abu Naser and Puebla, German and Rojas, José Miguel and Román-Díez, Guillermo and Zanardini, Damiano},
biburl = {https://www.bibsonomy.org/bibtex/21ea89ff7855d526897ad3d354783a47a/dblp},
booktitle = {FMCO},
crossref = {conf/fmco/2012},
editor = {Giachino, Elena and Hähnle, Reiner and de Boer, Frank S. and Bonsangue, Marcello M.},
ee = {https://doi.org/10.1007/978-3-642-40615-7_4},
interhash = {41351608bf99fc4cb3e96445f1c06186},
intrahash = {1ea89ff7855d526897ad3d354783a47a},
isbn = {978-3-642-40614-0},
keywords = {dblp},
pages = {119-144},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-05-13T09:16:23.000+0200},
title = {Automatic Inference of Bounds on Resource Consumption.},
url = {http://dblp.uni-trier.de/db/conf/fmco/fmco2012.html#AlbertAACFGGMPRRZ12},
volume = 7866,
year = 2012
}