Approximate Verification of the Symbolic Dynamics of Markov Chains
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Blaise Genest : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00920793
Soumis le : dimanche 18 octobre 2015-17:28:23
Dernière modification le : mercredi 23 août 2023-15:34:52
Archivage à long terme le : jeudi 27 avril 2017-06:36:40