| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher  |
ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | Simulator Semantics for System Level Formal Verification | 2015 | Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), | 10.4204/EPTCS.193.7 |