toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 2010 Computer Aided Verification Springer Berlin / Heidelberg 10.1007/978-3-642-14295-6_20 180-195 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: