Synchronous Observers and the Verification of Reactive Systems
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Pascal Raymond : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04683965
Soumis le : lundi 2 septembre 2024-14:28:01
Dernière modification le : mercredi 18 décembre 2024-10:06:34