toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. On Checking Equivalence of Simulation Scripts 2021 Journal of Logical and Algebraic Methods in Programming 2352-2208 10.1016/j.jlamp.2021.100640 100640 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: