Topics in Theoretical Computer Science More Books by Mohammad Reza Mousavi & Jiří Sgall

Rebeca for Actor Analysis in Action Rebeca for Actor Analysis in Action
Rebeca for Actor Analysis in Action
2025
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2022
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2018
Cyber Physical Systems. Design, Modeling, and Evaluation Cyber Physical Systems. Design, Modeling, and Evaluation
Cyber Physical Systems. Design, Modeling, and Evaluation
2017
Topics in Theoretical Computer Science Topics in Theoretical Computer Science
Topics in Theoretical Computer Science
2016
Cyber Physical Systems. Design, Modeling, and Evaluation Cyber Physical Systems. Design, Modeling, and Evaluation
Cyber Physical Systems. Design, Modeling, and Evaluation
2015