| emsoft | participants

Anne-Kathrin Schmuck

Program Committees:
2024
.

EMSOFT 2020: 20th International Conference on Embedded Software

Assume-Guarantee Distributed Synthesis

Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Damien Zufferey