TY  - CONF
AU  - Mancini, T.
AU  - Mari, F.
AU  - Massini, A.
AU  - Melatti, I.
AU  - Tronci, E.
PY  - 2015//
TI  - Simulator Semantics for System Level Formal Verification
BT  - Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015),
UR  - http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2015:6
L1  - papers/mancini/2015/54_Mancini_etal2015.pdf
UR  - http://dx.doi.org/10.4204/EPTCS.193.7
N1  - exported from refbase (show.php?record=54), last updated on Fri, 06 Nov 2015 12:07:38 +0100
ID  - Mancini_etal2015
ER  -