Reversible Computation More Books by Martin Kutrib & Uwe Meyer

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
2020
Cellular Automata and Discrete Complex Systems Cellular Automata and Discrete Complex Systems
2018
Descriptional Complexity of Formal Systems Descriptional Complexity of Formal Systems
2011