This book constitutes the refereed proceedings of the 8th International Conference on Reversible ...
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TC...
This book constitutes revised selected papers from the International Symposium on Formal Aspects ...
This book constitutes the refereed proceedings of the 12th International Conference on Reversible...
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area...
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the a...
This book constitutes revised selected papers from the International Symposium on Formal Aspec...
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TC...
This book constitutes the refereed proceedings of the 8th International Conference on Reversib...
This book constitutes the refereed proceedings of the 12th International Conference on Reversible...