Filtrer vos résultats
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
1 résultat
|
|
triés par
|
|
Approximate Verification of the Symbolic Dynamics of Markov ChainsJournal of the ACM (JACM), 2015, 62 (1), pp.34-65. ⟨10.1145/2629417⟩
Article dans une revue
hal-00920793v1
|