Catégorie Communication dans un congrès Auteurs Lina Ye Philippe Dague Lulu He https://hal.science/hal-02425146v1 doc ID 3252405 Nom Manifestability Verification of Discrete Event Systems Date de publication mer 26/02/2025 - 12:00