Compositional Parameter Synthesis.

Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess

Browse the full FM paper archive.