SmartHG Home

SmartHG Project Publications

Home |  Show All |  Simple Search |  Advanced Search
Quick Search:
1-1 of 1 record found matching your query:
toggle visibility Search & Display Options
Select All    Deselect All << 1 >>
List View
 | 
Citations
 | 
Details
   print
  Record Links
Author (up) Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico pdf  doi
openurl 
  Title A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software Type
  Year 2013 Publication Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) Abbreviated Journal  
  Volume Issue Pages 43-60  
  Keywords  
  Abstract  
  Address  
  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  
  Call Number UNIROMA1 @ davi @ Alimguzhin_etal2013_2 Serial 19  
Permanent link to this record
Select All    Deselect All << 1 >>
List View
 | 
Citations
 | 
Details
   print
toggle visibility
Save Citations:
Export Records:
Home CQL Search  |  Library Search  |  Show Record  |  Extract Citations