toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher (up) ISSN ISBN DOI Volume Pages Links
Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa A Probabilistic Approach to Automatic Verification of Concurrent Systems 2001 8th Asia-Pacific Software Engineering Conference (APSEC) IEEE Computer Society 0-7695-1408-1 10.1109/APSEC.2001.991495 317-324 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: