@InProceedings{Mancini_etal2014,
author="Mancini, Toni
and Mari, Federico
and Massini, Annalisa
and Melatti, Igor
and Tronci, Enrico",
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 Processing",
year="2014",
publisher="IEEE Computer Society",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=118), last updated on Wed, 13 Jan 2016 17:23:36 +0100",
doi="10.1109/PDP.2014.32",
opturl="https://doi.org/10.1109/PDP.2014.32",
file=":http://mclab.di.uniroma1.it/publications/papers/mancini/2014/118_Mancini_etal2014.pdf:PDF"
}