toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages (down) Links
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico SyLVaaS: System Level Formal Verification as a Service 2015 Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD) 10.1109/PDP.2015.119 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: