Article Dans Une Revue
Electronic Notes in Theoretical Computer Science
Année : 2004
Vincent Danos : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00164589
Soumis le : vendredi 20 juillet 2007-20:20:15
Dernière modification le : vendredi 24 mars 2023-14:52:49
Dates et versions
Identifiants
- HAL Id : hal-00164589 , version 1
Citer
Vincent Danos, Josée Desharnais, Prakash Panangaden. Labeled Markov processes: stronger and faster approximations. Electronic Notes in Theoretical Computer Science, 2004, 87, pp.157-203. ⟨hal-00164589⟩
Collections
32
Consultations
0
Téléchargements