@InProceedings{Mancini_etal2015,
author="Mancini, T.
and Mari, F.
and Massini, A.
and Melatti, I.
and Tronci, E.",
title="Simulator Semantics for System Level Formal Verification",
booktitle="Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015),",
year="2015",
optnote="exported from refbase (show.php?record=54), last updated on Fri, 06 Nov 2015 12:07:38 +0100",
doi="10.4204/EPTCS.193.7",
opturl="http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2015:6",
file=":papers/mancini/2015/54\textit{Mancini}etal2015.pdf:PDF"
}