National Technical University of Athens
School of Electrical and Computer Engineering
Artemis is Live!
Welcome to our digital repository! The aim of Artemis is the systematic archiving and dissemination of the scientific work produced in the School of Electrical and Computer Engineering, National Technical University of Athens, Greece, using the technology of digital libraries.
Browsing by Author Παυλάτος, Σπυρίδων
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Supervisor |
|---|---|---|---|
| 27-Jul-2022 | A Test Suite for Model Checking Persistent Memory Programs | Παυλάτος, Σπυρίδων | Σαγώνας Κωστής |