toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher (up) ISSN ISBN DOI Volume Pages Links
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico Automatic Analysis of the NRL Pump 2004 Electr. Notes Theor. Comput. Sci. 10.1016/j.entcs.2004.02.011 99 245-266 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: