TY  - RPRT
TI  - Formal and Informal Methods for Multi-Core Design Space Exploration
AU  - Jean-Francois Kempf
AU  - Olivier Lebeltel
AU  - Oded Maler
PY  - 2014
DO  - 10.4204/eptcs.154.6
UR  - https://arxiv.org/abs/1406.2071
ID  - 1406.2071
ER  -