@inproceedings{KLM14,
title = { Formal and Informal Methods for Multi-Core Design Space Exploration },
author = {Kempf, Jean-Francois and Lebeltel, Olivier and Maler, Oded},
year = {2014},
booktitle = {QAPL},
team = {TEMPO},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 35504056
|
|
|