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