toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication (up) Publisher ISSN ISBN DOI Volume Pages Links
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico Automated Generation Of Optimal Controllers Through Model Checking Techniques 2008 Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006 Springer 10.1007/978-3-540-79142-3_10 107-119 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: