Composing heterogeneous reactive systems (0)

by Albert Benveniste, Benoit Caillaud, Luca P Carloni, Paul Caspi, Alberto L Sangiovanni-Vincentelli
Venue:ACM Transactions on Computational Logic, V(N