Chapitre D'ouvrage
Année : 2005
Yuxin Deng : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00159683
Soumis le : mardi 3 juillet 2007-17:35:58
Dernière modification le : vendredi 24 mars 2023-14:52:49
Dates et versions
Identifiants
- HAL Id : hal-00159683 , version 1
Citer
Yuxin Deng. Compositional Reasoning for Probabilistic Finite-State Behaviors. Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, Springer-Verlag, pp.309-337, 2005. ⟨hal-00159683⟩
Collections
16
Consultations
0
Téléchargements