Bibtex de la publication

@InProceedings{ Ca2013.8,
author = {Cassé, Hugues and Birée, Florian and Sainrat, Pascal},
title = "{Multi-architecture Value Analysis for Machine Code (regular paper)}",
booktitle = "{Workshop on Worst-Case Execution Time Analysis, Paris, 09/07/2013}",
year = {2013},
month = {juillet},
publisher = {OASICs, Dagstuhl Publishing},
address = {http://drops.dagstuhl.de/opus/institut_oasics.php?fakultaet=03},
pages = {42--52},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/12494/}
}