"DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous ..."

Mark Schäfer, Dominic Wist, Ralf Wollowski (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics