%0 Journal Article
%T Compositional synthesis of modular systems
%A Finkbeiner, Bernd
%A Passing, Noemi
%J Innovations in Systems and Software Engineering
%V 18
%N 3
%P 455-469
%@ 1614-5046
%D 2022-09-01
%I Springer London
%~ DeepDyve