PT Unknown
AU Mancini, T
   Mari, F
   Massini, A
   Melatti, I
   Tronci, E
TI Simulator Semantics for System Level Formal Verification
BT Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015),
PY 2015
DI 10.4204/EPTCS.193.7
ER