TY  - CONF
AU  - Mancini, T.
AU  - Mari, F.
AU  - Massini, A.
AU  - Melatti, I.
AU  - Tronci, E.
PY  - 2014//
TI  - System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation
BT  - Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2014)
PB  - IEEE Computer Society
L1  - papers/mancini/2014/39_Mancini_etal2014.pdf
UR  - http://dx.doi.org/10.1109/PDP.2014.32
N1  - exported from refbase (show.php?record=39), last updated on Fri, 04 Dec 2015 17:06:18 +0100
ID  - Mancini_etal2014
ER  -