toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN (up) DOI Volume Pages Links
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 2013 Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) Springer - Verlag 0302-9743 978-3-642-39175-0 10.1007/978-3-642-39176-7_4 43-60 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: