toggle visibility Search & Display Options

Select All    Deselect All
 |   | 
  Record Links
Author (up) Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico pdf  doi
  Title A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software Type Conference Article
  Year 2013 Publication Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) Abbreviated Journal  
  Volume Issue Pages 43-60  
  Corporate Author Thesis  
  Publisher Springer - Verlag Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Lecture Notes in Computer Science Abbreviated Series Title  
  Series Volume 7976 Series Issue Edition  
  ISSN 978-3-642-39175-0 ISBN Medium  
  Area Expedition Conference  
  Notes Approved no  
  Call Number UNIROMA1 @ davi @ Alimguzhin_etal2013_2 Serial 19  
Permanent link to this record
Select All    Deselect All
 |   | 

Save Citations:
Export Records: