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