Synchronous Observers and the Verification of Reactive Systems
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://hal.science/hal-04683965
Soumis le : lundi 2 septembre 2024-14:28:01
Dernière modification le : samedi 27 septembre 2025-20:01:45
Archivage à long terme le : lundi 15 septembre 2025-10:10:31