%0 Conference Proceedings
%T System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation
%A Mancini, Toni
%A Mari, Federico
%A Massini, Annalisa
%A Melatti, Igor
%A Tronci, Enrico
%S Proc. of the 22nd  Euromicro International Conference on Parallel, Distributed and Network-Based Processing
%D 2014
%I IEEE Computer Society
%F Mancini_etal2014
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=118), last updated on Wed, 13 Jan 2016 17:23:36 +0100
%R 10.1109/PDP.2014.32
%U http://mclab.di.uniroma1.it/publications/papers/mancini/2014/118_Mancini_etal2014.pdf
%U https://doi.org/10.1109/PDP.2014.32