@InProceedings{Mancini_etal2015,
author="Mancini, Toni
and Mari, Federico
and Massini, Annalisa
and Melatti, Igor
and Tronci, Enrico",
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 (http://mclab.di.uniroma1.it/publications/show.php?record=125), last updated on Fri, 09 Oct 2015 13:52:49 +0200",
doi="10.4204/EPTCS.193.7",
opturl="http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2015:6",
opturl="https://doi.org/10.4204/EPTCS.193.7",
file=":http://mclab.di.uniroma1.it/publications/papers/mancini/2015/125_Mancini_etal2015.pdf:PDF"
}