"On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers ..."

Christian Brenner, Joel Greenyer, Wilhelm Schäfer (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics