| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| 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 |