Merkliste 
 1 Ergebnisse 
 
1

Compositional synthesis of modular systems:

Finkbeiner, Bernd ; Passing, Noemi
Innovations in Systems and Software Engineering.  18 (2022)  3 - p. 455-469 , 2022