A safety and liveness theory for total reversibility
You are here
| Title | A safety and liveness theory for total reversibility |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Mezzina C.A, Koutavas V. |
| Conference Name | 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) |
| Date Published | Sept |
| DOI | 10.1109/TASE.2017.8285635 |
