toggle visibility Search & Display Options

Select All    Deselect All
 |   | 
  Record Links
Author Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico pdf  doi
  Title SyLVaaS: System Level Formal Verification as a Service Type Conference Article
  Year 2015 Publication 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) Abbreviated Journal  
  Volume Issue Pages  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area (up) Expedition Conference  
  Notes Approved no  
  Call Number MCLab @ davi @ Serial 123  
Permanent link to this record
Select All    Deselect All
 |   | 

Save Citations:
Export Records: