Reversible Computation 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings Lanese Ivan Heftet / 2020 / Engelsk
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers Lanese Ivan Heftet / 2015 / Engelsk
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings Albert Elvira Heftet / 2016 / Engelsk
Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings Devitt Simon Heftet / 2016 / Engelsk
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings Diaz Josep Heftet / 2014 / Engelsk
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 Ulidowski Irek Heftet / 2020 / Engelsk
