@InProceedings{Mancini_etal2014,
author="Mancini, T.
and Mari, F.
and Massini, A.
and Melatti, I.
and Tronci, E.",
title="System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation",
booktitle="Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2014)",
year="2014",
publisher="IEEE Computer Society",
optnote="exported from refbase (show.php?record=39), last updated on Fri, 04 Dec 2015 17:06:18 +0100",
doi="10.1109/PDP.2014.32",
file=":papers/mancini/2014/39\textit{Mancini}etal2014.pdf:PDF"
}