%0 Conference Proceedings
%T Simulator Semantics for System Level Formal Verification
%A Mancini, Toni
%A Mari, Federico
%A Massini, Annalisa
%A Melatti, Igor
%A Tronci, Enrico
%S Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015),
%D 2015
%F Mancini_etal2015
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=125), last updated on Fri, 09 Oct 2015 13:52:49 +0200
%R 10.4204/EPTCS.193.7
%U http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2015:6
%U http://mclab.di.uniroma1.it/publications/papers/mancini/2015/125_Mancini_etal2015.pdf
%U https://doi.org/10.4204/EPTCS.193.7