Martin Kutrib

Books
Reversible Computation Reversible Computation
Reversible Computation
2023
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020
Cellular Automata and Discrete Complex Systems Cellular Automata and Discrete Complex Systems
Cellular Automata and Discrete Complex Systems
2018
Descriptional Complexity of Formal Systems Descriptional Complexity of Formal Systems
Descriptional Complexity of Formal Systems
2011