toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (down) Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 2004 Sttt 10.1007/s10009-004-0149-6 6 320-341 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: