toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume (down) Pages Links
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 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: