toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Charme 2003 Lecture Notes in Computer Science Springer 3-540-20363-X 10.1007/b93958 2860 details   file doi
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 2012 CoRR, Technical Report abs/1210.2276 details   file url
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.; Hayes, B.; Prodanovic, M.; Elmegaard, L. Parallel Statistical Model Checking for Safety Verification in Smart Grids 2018 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) 10.1109/SmartGridComm.2018.8587416 1-6 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: