Étienne André. An inverse method for the synthesis of timing parameters in concurrent systems. (Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents). PhD thesis, École normale supérieure de Cachan, France, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.