Sabina Rossi, Andrea Marin. On Discrete Time Reversibility modulo State Renaming and its Applications. In Moshe Haviv, William J. Knottenbelt, Lorenzo Maggi, Daniele Miorandi, editors, 8th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2014, Bratislava, Slovakia, December 9-11, 2014. ICST, 2014. [doi]
Abstract is missing.