TY  - CONF
AU  - Mancini, Toni
AU  - Mari, Federico
AU  - Massini, Annalisa
AU  - Melatti, Igor
AU  - Tronci, Enrico
PY  - 2015
DA  - 2015//
TI  - Simulator Semantics for System Level Formal Verification
BT  - Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015),
L1  - http://mclab.di.uniroma1.it/publications/papers/mancini/2015/125_Mancini_etal2015.pdf
UR  - http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2015:6
UR  - https://doi.org/10.4204/EPTCS.193.7
DO  - 10.4204/EPTCS.193.7
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=125), last updated on Fri, 09 Oct 2015 13:52:49 +0200
ID  - Mancini_etal2015
ER  -