A Safety and Liveness Theory for Total Reversibility (Extended Abstract).

Claudio Antares Mezzina Vasileios Koutavas

Published in: CoRR (2016)

Keyphrases

extended abstract
theoretical framework
real world
face recognition
formal theory
case study
theoretical foundation
general theory