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 On-the-Fly Control Software Synthesis Type Conference Article
  Year 2013 Publication Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) Abbreviated Journal  
  Volume Issue Pages 61-80  
  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 Serial 18  
Permanent link to this record
Select All    Deselect All
 |   | 

Save Citations:
Export Records: