%0 Conference Proceedings
%T Simulator Semantics for System Level Formal Verification
%A Mancini, T.
%A Mari, F.
%A Massini, A.
%A Melatti, I.
%A Tronci, E.
%B Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015),
%D 2015
%F Mancini_etal2015
%O exported from refbase (show.php?record=54), last updated on Fri, 06 Nov 2015 12:07:38 +0100
%U http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2015:6
%U papers/mancini/2015/54_Mancini_etal2015.pdf
%U http://dx.doi.org/10.4204/EPTCS.193.7