toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (up) Title Year Publication Volume Pages Links
Mancini, T. Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts 2016 Fundam. Inform. 149 61-100 details   pdf doi
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. SyLVaaS: System Level Formal Verification as a Service 2016 Fundam. Inform. 149 101-132 details   pdf doi
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. Anytime system level verification via parallel random exhaustive hardware in the loop simulation 2016 Microprocessors and Microsystems 41 12-28 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: