A Compositional Framework for Controller Synthesis.

Christel Baier, Joachim Klein, Sascha Klppelholz

Browse the full CONCUR paper archive.