toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa Exploiting Transition Locality in Automatic Verification 2001 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) Springer 3-540-42541-1 10.1007/3-540-44798-9_22 259-274 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: