Quantitative Analysis of Interval Markov Chains
Domaines
Théorie et langage formel [cs.FL]
Origine : Fichiers produits par l'(les) auteur(s)