toggle visibility Search & Display Options

Select All    Deselect All
 | 
Citations
 | 
   print
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, and Marisa Venturini Zilli. "Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems." Sttt 6, no. 4 (2004): 320–341. DOI: 10.1007/s10009-004-0149-6.
toggle visibility
Select All    Deselect All
 | 
Citations
 | 
   print